Merge branch 'develop'

1 files changed, 1 insertions, 1 deletions

diff --git a/src/ast.h b/src/ast.h
index ac9f7e6..f83f3f7 100644
--- a/src/ast.h
+++ b/src/ast.h
@@ -5,7 +5,7 @@
 
 typedef enum {
   AST_SYM=0, AST_NAME, AST_INTVAR, AST_AGENT,
-  AST_CNCT, AST_CNCT_TRO_INTVAR, AST_CNCT_TRO_CONS, AST_CNCT_TRO,
+  AST_CNCT, AST_CNCT_TCO_INTVAR, AST_CNCT_TCO_CONS, AST_CNCT_TCO,
   AST_RULE, AST_BODY, AST_IF, AST_THEN_ELSE,
   
   // this is for ASTLIST