blob: 4a73161166d94519ebed0f2fed9fa75ef6595db5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
src/main.cpp | 3 +++
src/randomDataGenerators.cpp | 3 +++
2 files changed, 6 insertions(+), 0 deletions(-)
diff --git a/src/main.cpp b/src/main.cpp
index a16754e..315ea53 100755
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -25,6 +25,9 @@
#include <ctime>
#include <cstdlib>
+#include <sys/types.h>
+#include <unistd.h>
+
/** This function runs the Frobby console interface. the ::main
function calls this function after having set up DEBUG-specific
things, catching exceptions, setting the random seed and so on.
diff --git a/src/randomDataGenerators.cpp b/src/randomDataGenerators.cpp
index 432a90a..1de3559 100755
--- a/src/randomDataGenerators.cpp
+++ b/src/randomDataGenerators.cpp
@@ -26,6 +26,9 @@
#include <limits>
#include <ctime>
+#include <sys/types.h>
+#include <unistd.h>
+
void generateLinkedListIdeal(BigIdeal& ideal, size_t variableCount) {
VarNames names(variableCount);
ideal.clearAndSetNames(variableCount);
|
GitWeb
