summaryrefslogtreecommitdiffstats
path: root/src/libvpsc
diff options
context:
space:
mode:
Diffstat (limited to 'src/libvpsc')
-rw-r--r--src/libvpsc/csolve_VPSC.cpp1
-rw-r--r--src/libvpsc/generate-constraints.cpp1
2 files changed, 2 insertions, 0 deletions
diff --git a/src/libvpsc/csolve_VPSC.cpp b/src/libvpsc/csolve_VPSC.cpp
index bd7db5ab2..5176242d5 100644
--- a/src/libvpsc/csolve_VPSC.cpp
+++ b/src/libvpsc/csolve_VPSC.cpp
@@ -10,6 +10,7 @@
*/
#include <iostream>
#include <cassert>
+#include <cstdlib>
#include "variable.h"
#include "constraint.h"
#include "generate-constraints.h"
diff --git a/src/libvpsc/generate-constraints.cpp b/src/libvpsc/generate-constraints.cpp
index 3b69e7968..3574a2743 100644
--- a/src/libvpsc/generate-constraints.cpp
+++ b/src/libvpsc/generate-constraints.cpp
@@ -12,6 +12,7 @@
#include <set>
#include <cassert>
+#include <cstdlib>
#include "generate-constraints.h"
#include "constraint.h"