mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-25 07:13:41 +00:00
Code Activity

fix build break include uint_set.h

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2013-05-18 10:02:53 -07:00
parent aea667d09b
commit 56dedec740
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/smt/diff_logic.h
View file

@ -24,6 +24,7 @@ Revision History:
#include"statistics.h" #include"statistics.h"
#include"trace.h" #include"trace.h"
#include"warning.h" #include"warning.h"
#include"uint_set.h"
typedef int dl_var; typedef int dl_var;