From 761e0f5d002dc199db16b996aafa60d6df6afcd7 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Thu, 2 Jun 2011 22:43:24 +0000 Subject: consolidate utility codes --- src/driver/main.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/driver/main.cc') 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 #include "cfuns.h" -#include "utils.h" +#include "open-axiom.h" #define OPENAXIOM_GLOBAL_ENV "AXIOM" -- cgit v1.2.3