diff options
Diffstat (limited to 'checker/validate.ml')
-rw-r--r-- | checker/validate.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/checker/validate.ml b/checker/validate.ml index 36c668af3..c5e0bd34d 100644 --- a/checker/validate.ml +++ b/checker/validate.ml @@ -117,9 +117,6 @@ let val_enum s n = val_sum s n [||] let rec val_rec_sum name cc f ctx o = val_sum name cc (f (overr (ctx/name) (val_rec_sum name cc f))) ctx o -let rec val_rectype f o = - f (val_rectype f) o - (**************************************************************************) (* Builtin types *) |