diff options
Diffstat (limited to 'plugins/micromega/g_micromega.mlg')
| -rw-r--r-- | plugins/micromega/g_micromega.mlg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/micromega/g_micromega.mlg b/plugins/micromega/g_micromega.mlg index bcf546f059..edf8106f30 100644 --- a/plugins/micromega/g_micromega.mlg +++ b/plugins/micromega/g_micromega.mlg @@ -56,7 +56,7 @@ TACTIC EXTEND NQA END - + TACTIC EXTEND Sos_Z | [ "sos_Z" tactic(t) ] -> { (Coq_micromega.sos_Z (Tacinterp.tactic_of_value ist t)) } END |