diff options
Diffstat (limited to 'test/regress/regress0/sygus/sygus-dt.sy')
| -rw-r--r-- | test/regress/regress0/sygus/sygus-dt.sy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress0/sygus/sygus-dt.sy b/test/regress/regress0/sygus/sygus-dt.sy index be6749139..59560ed61 100644 --- a/test/regress/regress0/sygus/sygus-dt.sy +++ b/test/regress/regress0/sygus/sygus-dt.sy @@ -3,7 +3,7 @@ (set-logic LIA) -(declare-datatypes () ((List (cons (head Int) (tail List)) (nil)))) +(declare-datatypes ((List 0)) (((cons (head Int) (tail List)) (nil)))) (define-fun g ((x Int)) List (cons (+ x 1) nil)) (define-fun i () List (cons 3 nil)) |