Updating for cert move

[splint.git] / src / environmentTable.c

diff --git a/src/environmentTable.c b/src/environmentTable.c
index 8f728c50d14dc3c05187b5207e7cc2995fc8828b..c20309af78ca2f09a28e0fa534a7d14b2d1f704e 100644 (file)
--- a/src/environmentTable.c
+++ b/src/environmentTable.c
@@ -31,7 +31,7 @@
 //#include "environmentTable.h"
 #include "exprData.i"
 #include "exprData.h"
-//#include "exprNode.h"
+#include "exprDataQuite.i"
 
 /*@i777*/
 /*@-fcnuse*/