From d594ace895809b6b14355b1d57520ec5951e9598 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Wed, 7 Jul 2010 17:03:36 +0200 Subject: [PATCH] This case is unused --- compiler/minils/analysis/clocking.ml | 3 --- 1 file changed, 3 deletions(-) diff --git a/compiler/minils/analysis/clocking.ml b/compiler/minils/analysis/clocking.ml index 5bbfc71..5261138 100644 --- a/compiler/minils/analysis/clocking.ml +++ b/compiler/minils/analysis/clocking.ml @@ -126,9 +126,6 @@ let rec typing h e = | None -> new_var() | Some(reset) -> typ_of_name h reset in (List.iter (expect h (Ck ck_r)) e_list; skeleton ck_r e.e_ty) - | Ecall(_, e_list, Some(reset)) -> - let ck_r = typ_of_name h reset - in (List.iter (expect h (Ck ck_r)) e_list; skeleton ck_r e.e_ty) | Ewhen (e, c, n) -> let ck_n = typ_of_name h n in (expect h (skeleton ck_n e.e_ty) e;