diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2010-02-02 02:10:28 +0000 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2010-02-02 02:10:28 +0000 |
| commit | 2b02b131e49948180100c8ef86655cb204f529b1 (patch) | |
| tree | cb4e2778ae26d45c4ffbe6aaab07146f1ad0e2ed /src/context/context.cpp | |
| parent | 21dec26be1ecc86a0c73df26e2397b7674df50a7 (diff) | |
Fixed compile errors
Diffstat (limited to 'src/context/context.cpp')
| -rw-r--r-- | src/context/context.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/context/context.cpp b/src/context/context.cpp index 8083f2cc7..476f6d04b 100644 --- a/src/context/context.cpp +++ b/src/context/context.cpp @@ -15,6 +15,7 @@ #include "context/context.h" #include "util/Assert.h" +#include <cstdlib> namespace CVC4 { |