Changes in src/SynTree/TypeSubstitution.h [2ec65ad:09c72d5]

File:

• src/SynTree/TypeSubstitution.h (modified) (1 diff)

src/SynTree/TypeSubstitution.h

@@ -82 +82 @@
         TypeEnvType typeEnv;
         VarEnvType varEnv;
+
+  public:
+        // has to come after declaration of typeEnv
+        auto begin()       -> decltype( typeEnv.begin() ) { return typeEnv.begin(); }
+        auto   end()       -> decltype( typeEnv.  end() ) { return typeEnv.  end(); }
+        auto begin() const -> decltype( typeEnv.begin() ) { return typeEnv.begin(); }
+        auto   end() const -> decltype( typeEnv.  end() ) { return typeEnv.  end(); }
 };