Merge pull request #742 from allredj/test-gen-fix-build-issue-with-sparse-vector

forejtv · web-flow · commit 6b5d9b70ae99 · 2017-03-31T14:40:46.000+01:00
Fix a build issue with test-gen (sparse_vector.h)
diff --git a/src/util/sparse_vector.h b/src/util/sparse_vector.h
@@ -9,7 +9,9 @@ Author: Romain Brenguier
 #ifndef CPROVER_UTIL_SPARSE_VECTOR_H
 #define CPROVER_UTIL_SPARSE_VECTOR_H
 
-#include<cstdint>
+#include <cstdint>
+#include <map>
+#include <assert.h>
 
 template<class T> class sparse_vectort
 {

Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,9 @@ Author: Romain Brenguier`
`9`	`9`	`#ifndef CPROVER_UTIL_SPARSE_VECTOR_H`
`10`	`10`	`#define CPROVER_UTIL_SPARSE_VECTOR_H`
`11`	`11`
`12`		`-#include<cstdint>`
	`12`	`+#include <cstdint>`
	`13`	`+#include <map>`
	`14`	`+#include <assert.h>`
`13`	`15`
`14`	`16`	`template<class T> class sparse_vectort`
`15`	`17`	`{`