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

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