diff options
Diffstat (limited to 'src/spec_analysis.ml')
| -rw-r--r-- | src/spec_analysis.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/spec_analysis.ml b/src/spec_analysis.ml index 2ab64f1c..65614b8d 100644 --- a/src/spec_analysis.ml +++ b/src/spec_analysis.ml @@ -151,7 +151,6 @@ let typq_bindings (TypQ_aux(tq,_)) = match tq with match qi with | QI_id (KOpt_aux(k,_)) -> (match k with - | KOpt_none (Kid_aux (Var s,_)) -> Nameset.add s bounds | KOpt_kind (_, Kid_aux (Var s,_)) -> Nameset.add s bounds) | _ -> bounds) quants mt | TypQ_no_forall -> mt |