diff options
Diffstat (limited to 'interp/coqlib.ml')
| -rw-r--r-- | interp/coqlib.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/interp/coqlib.ml b/interp/coqlib.ml index 785291b84e..b8a93cf3a5 100644 --- a/interp/coqlib.ml +++ b/interp/coqlib.ml @@ -251,4 +251,5 @@ let coq_not_ref = lazy (init_reference ["Logic"] "not") let coq_False_ref = lazy (init_reference ["Logic"] "False") let coq_sumbool_ref = lazy (init_reference ["Specif"] "sumbool") let coq_sig_ref = lazy (init_reference ["Specif"] "sig") +let coq_or_ref = lazy (init_reference ["Logic"] "or") |