diff options
| -rw-r--r-- | tuto3/src/construction_game.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tuto3/src/construction_game.ml b/tuto3/src/construction_game.ml index df761b4505..c893952d6a 100644 --- a/tuto3/src/construction_game.ml +++ b/tuto3/src/construction_game.ml @@ -63,7 +63,7 @@ let example_sort_app_lambda () = str " has type " ++ (Termops.print_constr_env env evd the_type)) -let constants = ref ([] : EConstr.constr list) +let constants = ref ([] : EConstr.t list) let collect_constants () = if (!constants = []) then |