From 29cc307cdf2c42bebf4f5615874a864783f47fd0 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Thu, 4 Mar 2010 20:10:46 +0000
Subject: Committing a bug fix from Dejan. This resolves an issue with
 restoring ECData.

---
 src/expr/expr_manager.h | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'src/expr')

diff --git a/src/expr/expr_manager.h b/src/expr/expr_manager.h
index 67fa0664a..f5edc5464 100644
--- a/src/expr/expr_manager.h
+++ b/src/expr/expr_manager.h
@@ -24,8 +24,8 @@ namespace CVC4 {
 
 class Expr;
 class Type;
-class BooleanType; 
-class FunctionType; 
+class BooleanType;
+class FunctionType;
 class KindType;
 class SmtEngine;
 class NodeManager;
@@ -91,12 +91,12 @@ public:
   Expr mkExpr(Kind kind, const std::vector<Expr>& children);
 
   /** Make a function type from domain to range. */
-  const FunctionType* 
-    mkFunctionType(const Type* domain, 
+  const FunctionType*
+    mkFunctionType(const Type* domain,
                    const Type* range);
 
   /** Make a function type with input types from argTypes. */
-  const FunctionType* 
+  const FunctionType*
     mkFunctionType(const std::vector<const Type*>& argTypes, 
                    const Type* range);
 
-- 
cgit v1.2.3