From b08932cb81ed16d1abbb0b2baf0ceb4060099142 Mon Sep 17 00:00:00 2001 From: Teguh Hofstee Date: Mon, 23 Mar 2020 02:14:26 -0700 Subject: fix typo in `write_smt2` help --- manual/command-reference-manual.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'manual') diff --git a/manual/command-reference-manual.tex b/manual/command-reference-manual.tex index bed6326e2..4925defe3 100644 --- a/manual/command-reference-manual.tex +++ b/manual/command-reference-manual.tex @@ -5350,7 +5350,7 @@ never transition from a non-zero value to a zero value. For this proof we create the following template (test.tpl). - ; we need QF_UFBV for this poof + ; we need QF_UFBV for this proof (set-logic QF_UFBV) ; insert the auto-generated code here -- cgit v1.2.3