Commit 6996fcb3 authored by Jean-Christophe Filliâtre's avatar Jean-Christophe Filliâtre
Browse files

No commit message

No commit message
parent 2521de4a
......@@ -101,7 +101,7 @@ let close_theory th = match th.th_stack with
| [_, e] ->
{ t_name = th.th_name;
t_namespace = e;
t_decls = th.th_decls; }
t_decls = List.rev th.th_decls; }
| _ ->
error CloseTheory
......
Supports Markdown
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