diff options
Diffstat (limited to 'test/regress/regress1/sygus/tester.sy')
| -rw-r--r-- | test/regress/regress1/sygus/tester.sy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress1/sygus/tester.sy b/test/regress/regress1/sygus/tester.sy index bf1cd1576..282bc122c 100644 --- a/test/regress/regress1/sygus/tester.sy +++ b/test/regress/regress1/sygus/tester.sy @@ -1,7 +1,7 @@ ; EXPECT: unsat ; COMMAND-LINE: --sygus-out=status -(set-logic SLIA) +(set-logic DTSLIA) (declare-datatype DT ((A (a Int)) (B (b String)) (JSBool (jsBool Bool)))) (define-fun isA ((i DT)) Bool ((_ is A) i) ) |