mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-08 18:31:49 +00:00
Code Activity

Fixing build errors when building test-z3 (#4496)

Browse source 
Signed-off-by: Andrew V. Jones <andrew.jones@vector.com>
This commit is contained in:
Andrew V. Jones 2020-06-03 21:34:43 +01:00 committed by GitHub
parent e844aef896
commit 9fac010d8e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/math/hilbert/heap_trie.h
View file

@ -37,13 +37,13 @@ Notes:
#ifndef HEAP_TRIE_H_
#define HEAP_TRIE_H_
#include <cstring>
#include "util/map.h"
#include "util/vector.h"
#include "util/buffer.h"
#include "util/statistics.h"
#include "util/small_object_allocator.h"
template<typename Key, typename KeyLE, typename KeyHash, typename Value>
class heap_trie {

3
src/test/mpff.cpp
View file

@ -16,7 +16,8 @@ Author:
Revision History:
--*/
#include<sstream>
#include <sstream>
#include <cstring>
#include "util/mpff.h"
#include "util/mpz.h"
#include "util/mpq.h"