Changeset 361bf01 for src/AST/ForallSubstitutor.hpp

Timestamp:

Dec 11, 2020, 11:20:45 PM (3 years ago)

Author:

Fangren Yu <f37yu@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

5b9a0ae

Parents:

a6e0e4c

Message:

remove ParameterizedType? and put content into FunctionType?

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 );
         }