Skip to content

GitLab

Commit 4294d89f authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files
Options

TODO in pgm_main: retrieve

parent 81be9885
Show whitespace changes
Inline Side-by-side
Showing with 1 addition and 0 deletions
src/programs/pgm_main.ml
View file @ 4294d89f
...@@ -36,6 +36,7 @@ let add_module ?(type_only=false) env penv lmod m = ...@@ -36,6 +36,7 @@ let add_module ?(type_only=false) env penv lmod m =
Mstr.add id.id m lmod Mstr.add id.id m lmod
let retrieve penv c = let retrieve penv c =
assert false (*TODO*)
let pgm_env_of_env = let pgm_env_of_env =
let h = Env.Wenv.create 17 in let h = Env.Wenv.create 17 in
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment