Prolog operator is now ">" instead of "->"

Salvador Abreu
1 parent e1521486
Showing 1 changed file with 4 additions and 4 deletions Show diff stats
fzn-parser/flatzinc.y
@@ -21,19 +21,19 @@
 #define AST(pop, push)				\
 {						\
-    printf ("[%s|_T] -> [", pop);		\
+    printf ("[%s|_T] > [", pop);		\
     printf push;				\
     printf ("|_T].\n");				\
 }
 #define INIT(x)					\
 {						\
-  printf ("_ -> %s.\n", x);			\
+  printf ("_ > %s.\n", x);			\
 }
 #define PRE()					\
 {						\
-    printf ("_T -> [");				\
+    printf ("_T > [");				\
 }
 #define POST()					\
@@ -43,7 +43,7 @@
 #define PUSH(x)					\
 {						\
-    printf ("_T -> [");				\
+    printf ("_T > [");				\
     printf x;					\
     printf ("|_T].\n");				\
 }