diff options
Diffstat (limited to 'src/expr/metakind_template.h')
-rw-r--r-- | src/expr/metakind_template.h | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/expr/metakind_template.h b/src/expr/metakind_template.h index c4d35b7dc..fb1626adb 100644 --- a/src/expr/metakind_template.h +++ b/src/expr/metakind_template.h @@ -203,20 +203,6 @@ Kind operatorToKind(::CVC4::expr::NodeValue* nv); #line 205 "${template}" -namespace theory { - -static inline bool useTheoryValidate(std::string theory) { -${use_theory_validations} - return false; -} - -static const char *const useTheoryHelp = "\ -The following options are valid alternate implementations for use with\n\ -the --use-theory option:\n\ -\n\ -${theory_alternate_doc}"; - -}/* CVC4::theory namespace */ }/* CVC4 namespace */ #endif /* CVC4__NODE_MANAGER_NEEDS_CONSTANT_MAP */ |