diff options
Diffstat (limited to 'test/regress/regress0/parser/issue6908-get-value-uc.smt2')
| -rw-r--r-- | test/regress/regress0/parser/issue6908-get-value-uc.smt2 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/regress/regress0/parser/issue6908-get-value-uc.smt2 b/test/regress/regress0/parser/issue6908-get-value-uc.smt2 index b6825fe27..ab7615809 100644 --- a/test/regress/regress0/parser/issue6908-get-value-uc.smt2 +++ b/test/regress/regress0/parser/issue6908-get-value-uc.smt2 @@ -1,10 +1,10 @@ ; COMMAND-LINE: --produce-models ; EXPECT: sat -; EXPECT: (((f (as @uc_Foo_0 Foo)) 3)) +; EXPECT: (((f (as @a0 Foo)) 3)) (set-logic ALL) (set-option :produce-models true) (declare-sort Foo 0) (declare-fun f (Foo) Int) (assert (exists ((x Foo)) (= (f x) 3))) (check-sat) -(get-value ((f @uc_Foo_0))) +(get-value ((f @a0))) |