diff options
Diffstat (limited to 'src/state.ml')
| -rw-r--r-- | src/state.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/state.ml b/src/state.ml index 4fc2e1e8..c9a47b06 100644 --- a/src/state.ml +++ b/src/state.ml @@ -128,7 +128,7 @@ let generate_initial_regstate defs = | _ -> raise Not_found in let typ_subst_quant_item typ (QI_aux (qi, _)) arg = match qi with - | QI_id (KOpt_aux ((KOpt_none kid | KOpt_kind (_, kid)), _)) -> + | QI_id (KOpt_aux (KOpt_kind (_, kid), _)) -> typ_subst kid arg typ | _ -> typ in |