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

Fixed #include of <hash_set> which is deprecated in VS2015 and will be removed.

Browse source 
Detailed error:
...\VC\INCLUDE\hash_set(17): error C2338: <hash_set> is deprecated and will be REMOVED. Please use <unordered_set>. You can define _SILENCE_STDEXT_HASH_DEPRECATION_WARNINGS to acknowledge that you have received this warning. (compiling source file ..\..\..\src\test\hashtable.cpp).
This commit is contained in:
Christoph M. Wintersteiger 2015-10-27 17:11:40 +00:00
parent 97d97f4694
commit eff776acd9
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/test/hashtable.cpp
View file

@ -18,7 +18,7 @@ Revision History:
--*/
#ifdef _WINDOWS
#include<iostream>
#include<hash_set>
#include<unordered_set>
#include<stdlib.h>
#include"hashtable.h"
@ -30,7 +30,7 @@ Revision History:
struct int_hash_proc { unsigned operator()(int x) const { return x * 3; } };
typedef int_hashtable<int_hash_proc, default_eq<int> > int_set;
typedef stdext::hash_set<int, stdext::hash_compare<int, std::less<int> > > safe_int_set;
typedef std::unordered_set<int, std::hash_compare<int, std::less<int> > > safe_int_set;
// typedef safe_int_set int_set;
inline bool contains(int_set & h, int i) {