Changes in src/AST/ForallSubstitutor.hpp [954c954:361bf01]

File:

• src/AST/ForallSubstitutor.hpp (modified) (1 diff)

src/AST/ForallSubstitutor.hpp

@@ -29 +29 @@
         
         /// Make new forall-list clone
-        ParameterizedType::ForallList operator() ( const ParameterizedType::ForallList & o ) {
+        FunctionType::ForallList operator() ( const FunctionType::ForallList & o ) {
                 return subs.clone( o, *visitor );
         }