diff options
| author | Yves Bertot | 2018-05-11 11:34:35 +0200 |
|---|---|---|
| committer | Yves Bertot | 2018-05-11 11:34:35 +0200 |
| commit | c74ead36e32c49dbbf030083ba150e10bb1c74cf (patch) | |
| tree | 923893ccb050487dc33b9a369eb5f1a5ea43f71e | |
| parent | 6763c589d4097da0a58ad72adf8b201c660b8b84 (diff) | |
Use the more colloquial EConstr.t type instead of EConstr.constr
| -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 |