refactor: gcc requires std::visit's to visit the underlying_x type's

sillydan1 · Sep 30, 2022 · a79ce33 · a79ce33
1 parent 70896fe
commit a79ce33
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/ntta/interesting_tocker.cpp b/src/ntta/interesting_tocker.cpp
@@ -79,7 +79,7 @@ namespace aaltitoad {
                                        });
                 },
                 [](auto&&){ return false; }
-        ), tree.node);
+        ), static_cast<const expr::underlying_syntax_node_t&>(tree.node));
     }
 
     auto interesting_tocker::contains_external_variables(const expr::syntax_tree_t& tree, const expr::symbol_table_t& symbols) const -> bool {
@@ -97,7 +97,7 @@ namespace aaltitoad {
                                        });
                 },
                 [](auto&&){ return false; }
-        ), tree.node);
+        ), static_cast<const expr::underlying_syntax_node_t&>(tree.node));
     }
 
     auto interesting_tocker::get_name() -> std::string {

diff --git a/src/verification/ctl_sat.cpp b/src/verification/ctl_sat.cpp
@@ -46,7 +46,7 @@ namespace aaltitoad {
                         default: throw std::logic_error("not a valid raw CTL operator");
                     }},
                 [](auto&&) { std::cerr << "not here!" << std::endl; }
-        ), ast.node);
+        ), static_cast<const ctl::underlying_syntax_node_t&>(ast.node));
         return value;
     }
 }