updated answers

uuverifiers · Aug 5, 2018 · 0d30ffe · 0d30ffe
1 parent a80bdd3
commit 0d30ffe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/regression-tests/horn-adt/Answers b/regression-tests/horn-adt/Answers
@@ -26,7 +26,7 @@ Theories: ADT(Nil, Cons)
 unsat
 
 0: FALSE -> 1
-1: Concat(Nil, Nil, Cons(0, Nil)) -> 2
+1: Concat(Nil, Nil, Cons(5, Nil)) -> 2
 2: Concat(Nil, Nil, Nil)
 
 unbounded-tree.smt2