index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
toplevel
/
coqtop_opt_bin.ml
blob: 410b4679ae257c11293a60ecbafd07e000eee46e (
plain
)
1
2
3
let drop_setup () = Mltop.remove () let _ = drop_setup ()
