Changes in src/AST/Print.cpp [b26144d:98e8b3b]

File:

• src/AST/Print.cpp (modified) (1 diff)

src/AST/Print.cpp

@@ -270 +270 @@
         }
 
-        void preprint( const ast::ReferenceToType * node ) {
+        void preprint( const ast::BaseInstType * node ) {
                 print( node->forall );
                 print( node->attributes );