Merge pull request #29 from aa755/pr1

bugfix in unquote_sort: Prop and Set were interchanged.
gmalecha · Nov 16, 2016 · 3eeca69 · 3eeca69
2 parents 59c28b6 + ce31f27
commit 3eeca69
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/reify.ml4 b/src/reify.ml4
@@ -525,9 +525,9 @@ struct
     if Term.eq_constr h sType then
       raise (NotSupported h)
     else if Term.eq_constr h sProp then
-      Term.Prop Term.Pos
+      Term.prop_sort
     else if Term.eq_constr h sSet then
-      Term.Prop Term.Null
+      Term.set_sort
     else
       raise (Failure "ill-typed, expected sort")