fixing stupid typo (#3488)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Fri, 22 Nov 2019 14:50:12 +0000 (11:50 -0300)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 22 Nov 2019 14:50:12 +0000 (08:50 -0600)
test/regress/regress1/sygus/rec-fun-while-infinite.sy

index 77ddb04bcfdd1a0150ace440d42a0821d503ed60..85f8268c59d798e58b7a77311bd28d4583382b67 100644 (file)
@@ -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)