na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Aug 24, 2020 · 3dedc13 · 3dedc13
1 parent 65e6d94
commit 3dedc13
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/mk_project.py b/scripts/mk_project.py
@@ -23,7 +23,7 @@ def init_project_def():
     add_lib('realclosure', ['interval'], 'math/realclosure')
     add_lib('subpaving', ['interval'], 'math/subpaving')
     add_lib('ast', ['util', 'polynomial'])
-    add_lib('euf' ['ast','util'], 'ast/euf')
+    add_lib('euf', ['ast','util'], 'ast/euf')
     add_lib('grobner', ['ast', 'dd', 'simplex'], 'math/grobner')    
     add_lib('sat', ['util','dd', 'grobner'])    
     add_lib('nlsat', ['polynomial', 'sat'])