Remove strings, and add a (currently not changable) flag 'double_quotes' which defines how double quoted strings are stored.

1 files changed, 11 insertions, 2 deletions

diff --git a/dat.h b/dat.h
index ce6a0df..9dac8d0 100644
--- a/dat.h
+++ b/dat.h
@@ -45,7 +45,6 @@ struct Choicepoint
 enum {
 	VariableTerm,
 	NumberTerm,
-	StringTerm,
 	AtomTerm,
 	CompoundTerm,
 };
@@ -56,4 +55,14 @@ enum {
 };
 
 int debug;
-Term *initgoals;
\ No newline at end of file
+Term *initgoals;
+
+/* Flags */
+enum {
+	DoubleQuotesChars,
+	DoubleQuotesCodes,
+	DoubleQuotesAtom,
+};
+
+int flagdoublequotes;
+