diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-06-02 22:43:24 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-06-02 22:43:24 +0000 |
| commit | 761e0f5d002dc199db16b996aafa60d6df6afcd7 (patch) | |
| tree | 93803c5c05f8b80a5b2c767f07d91a30d63f8f21 /src/driver/main.cc | |
| parent | 10634545f2faf10699a1a8214ded2da3a6ea3d52 (diff) | |
| download | open-axiom-761e0f5d002dc199db16b996aafa60d6df6afcd7.tar.gz | |
consolidate utility codes
Diffstat (limited to 'src/driver/main.cc')
| -rw-r--r-- | src/driver/main.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/driver/main.cc b/src/driver/main.cc index 1436d42c..2621e1be 100644 --- a/src/driver/main.cc +++ b/src/driver/main.cc @@ -44,7 +44,7 @@ #include <locale.h> #include "cfuns.h" -#include "utils.h" +#include "open-axiom.h" #define OPENAXIOM_GLOBAL_ENV "AXIOM" |