Changes in src/ResolvExpr/FindOpenVars.h [c6b4432:2908f08]

File:

• src/ResolvExpr/FindOpenVars.h (modified) (1 diff)

src/ResolvExpr/FindOpenVars.h

@@ -23 +23 @@
 
 namespace ResolvExpr {
-        enum FirstMode { FirstClosed, FirstOpen };
 
-        // Updates open and closed variables and their associated assertions
-        void findOpenVars( 
-                const ast::Type * type, ast::OpenVarSet & open, ast::OpenVarSet & closed, 
-                ast::AssertionSet & need, ast::AssertionSet & have, ast::TypeEnvironment & env, FirstMode firstIsOpen );
+enum FirstMode { FirstClosed, FirstOpen };
+
+// Updates open and closed variables and their associated assertions
+void findOpenVars(
+        const ast::Type * type, ast::OpenVarSet & open, ast::OpenVarSet & closed,
+        ast::AssertionSet & need, ast::AssertionSet & have, ast::TypeEnvironment & env, FirstMode firstIsOpen );
+
 } // namespace ResolvExpr