fixed typo in Z3 driver

9b82b149 · Jean-Christophe Filliatre · 5beb8fa1 · 9b82b149
Commit 9b82b149 authored Jul 06, 2011 by Jean-Christophe Filliatre
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

drivers/z3_bare.drv drivers/z3_bare.drv +1 -1

No files found.
--- a/drivers/z3_bare.drv
+++ b/drivers/z3_bare.drv
 (* Why driver for SMT syntax *)

 prelude ";;; this is a prelude for Z3"
-prelude "(set-function AUFNIRA)"
+prelude "(set-logic AUFNIRA)"

 printer "smtv2"
 filename "%f-%t-%g.smt"