Changes in src/SynTree/Visitor.cc [b6fe7e6:89e6ffc]

File:

• src/SynTree/Visitor.cc (modified) (1 diff)

src/SynTree/Visitor.cc

@@ -383 +383 @@
 }
 
+void Visitor::visit( ZeroType *zeroType ) {
+        acceptAll( zeroType->get_forall(), *this );
+}
+
+void Visitor::visit( OneType *oneType ) {
+        acceptAll( oneType->get_forall(), *this );
+}
+
 void Visitor::visit( SingleInit *singleInit ) {
         singleInit->get_value()->accept( *this );