From 1820ccd49123b20a9d3ed5f4de2b58c21411f803 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 31 Jul 2017 22:15:57 -0700 Subject: [PATCH] z3-qe-lite? Signed-off-by: Nikolaj Bjorner --- src/api/z3.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/api/z3.h b/src/api/z3.h index fcab174a8..99929f33b 100644 --- a/src/api/z3.h +++ b/src/api/z3.h @@ -32,7 +32,6 @@ Notes: #include "z3_optimization.h" #include "z3_interp.h" #include "z3_fpa.h" - -#include"z3_spacer.h" +#include "z3_spacer.h" #endif