From 6080c313c0a78323934f81a47623f17ee48c17cc Mon Sep 17 00:00:00 2001 From: Haniel Barbosa Date: Fri, 22 Nov 2019 11:50:12 -0300 Subject: [PATCH] fixing stupid typo (#3488) --- test/regress/regress1/sygus/rec-fun-while-infinite.sy | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/regress/regress1/sygus/rec-fun-while-infinite.sy b/test/regress/regress1/sygus/rec-fun-while-infinite.sy index 77ddb04bc..85f8268c5 100644 --- a/test/regress/regress1/sygus/rec-fun-while-infinite.sy +++ b/test/regress/regress1/sygus/rec-fun-while-infinite.sy @@ -1,4 +1,4 @@ -; EXPECT: unkown +; EXPECT: unknown ; COMMAND-LINE: --sygus-out=status --lang=sygus2 --sygus-rec-fun --no-e-matching --no-check-synth-sol (set-logic ALL) -- 2.30.2