X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/871f0359e3948f2172b0582ae49222805b7806d4..14e4f8cd6102d273c520c2d2e0168a5221a7daeb:/interpretor/signal.ml diff --git a/interpretor/signal.ml b/interpretor/signal.ml index b493b6c..b8f0e68 100644 --- a/interpretor/signal.ml +++ b/interpretor/signal.ml @@ -32,7 +32,7 @@ class signal : int -> (time -> value_type) -> signal_type = else raise (Signal_operation "frequency not matched.") in List.fold_left check self#frequency sl - method private add_memory : int -> unit = + method add_memory : int -> unit = fun (length : int) -> assert (length >= 0); if memory_length >= length then ()