Changeset 2908f08 for src/ResolvExpr/FindOpenVars.h

Timestamp:

Nov 17, 2023, 3:03:51 PM (5 months ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

master

Children:

f7f997a

Parents:

41606df1

Message:

Most of ResolvExpr? was written before the new style standard. Some files updated, focus on headers.

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