projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 8592fa1)
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 patch | blob | history

diff --git a/test/regress/regress1/sygus/rec-fun-while-infinite.sy b/test/regress/regress1/sygus/rec-fun-while-infinite.sy
index 77ddb04bcfdd1a0150ace440d42a0821d503ed60..85f8268c59d798e58b7a77311bd28d4583382b67 100644 (file)
--- 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)