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

File:

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

src/ResolvExpr/FindOpenVars.h

@@ -23 +23 @@
 
 namespace ResolvExpr {
+        enum FirstMode { FirstClosed, FirstOpen };
 
-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 );
-
+        // 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