Changes in src/ResolvExpr/AlternativePrinter.h [62e5546:843054c2]

File:

• src/ResolvExpr/AlternativePrinter.h (modified) (2 diffs)

src/ResolvExpr/AlternativePrinter.h

@@ -5 +5 @@
 // file "LICENCE" distributed with Cforall.
 //
-// AlternativePrinter.h --
+// AlternativePrinter.h -- 
 //
 // Author           : Richard C. Bilson
@@ -23 +23 @@
 
 namespace ResolvExpr {
-        class AlternativePrinter final : public SymTab::Indexer {
+        class AlternativePrinter : public SymTab::Indexer {
           public:
                 AlternativePrinter( std::ostream &os );
-
-                using SymTab::Indexer::visit;
-                virtual void visit( ExprStmt *exprStmt ) override;
+                virtual void visit( ExprStmt *exprStmt );
           private:
                 std::ostream &os;