summaryrefslogtreecommitdiff
path: root/dat.h
diff options
context:
space:
mode:
Diffstat (limited to 'dat.h')
-rw-r--r--dat.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/dat.h b/dat.h
index d634435..72a95b5 100644
--- a/dat.h
+++ b/dat.h
@@ -29,6 +29,7 @@ struct Term
vlong ival;
double dval;
uvlong clausenr;
+ int inparens; /* kinda bad hack needed for the current parser */
};
struct Binding