Changes in src/SynTree/ApplicationExpr.cc [7b5694d:07d867b]

File:

• src/SynTree/ApplicationExpr.cc (modified) (2 diffs)

src/SynTree/ApplicationExpr.cc

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// ApplicationExpr.cc --
+// ApplicationExpr.cc.cc --
 //
 // Author           : Richard C. Bilson
@@ -26 +26 @@
 #include "Expression.h"          // for ParamEntry, ApplicationExpr, Expression
 #include "InitTweak/InitTweak.h" // for getFunction
-#include "ResolvExpr/Unify.h"    // for extractResultType
+#include "ResolvExpr/typeops.h"  // for extractResultType
 #include "Type.h"                // for Type, PointerType, FunctionType