diff options
Diffstat (limited to 'spartan/core/tactics.ML')
| -rw-r--r-- | spartan/core/tactics.ML | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/spartan/core/tactics.ML b/spartan/core/tactics.ML index 0c71665..172ae90 100644 --- a/spartan/core/tactics.ML +++ b/spartan/core/tactics.ML @@ -64,13 +64,6 @@ fun typechk_tac ctxt = REPEAT_ALL_NEW (known_tac ctxt ORELSE' tac) end -fun typechk_context_tac (ctxt, st) = - let - - in - () - end - (*Many methods try to automatically discharge side conditions by typechecking. Switch this flag off to discharge by non-unifying assumption instead.*) val auto_typechk = Attrib.setup_config_bool \<^binding>\<open>auto_typechk\<close> (K true) |