mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

attempt to fix windows build bot

Browse source
This commit is contained in:
Nuno Lopes 2022-06-17 18:05:19 +01:00
parent c3407fc304
commit f3c00a0a03
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/test/diff_logic.cpp
View file

@ -22,6 +22,7 @@ Revision History:
#include "smt/smt_literal.h" #include "smt/smt_literal.h"
#include "util/util.h" #include "util/util.h"
#include "util/debug.h" #include "util/debug.h"
#include <iostream>
struct diff_logic_ext { struct diff_logic_ext {
typedef rational numeral; typedef rational numeral;