From e495c53824b157d5d52c4fc541db262e9d4e9674 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 31 May 2006 13:54:57 +0000 Subject: [PATCH] \n restored --- .../syntax_extensions/profiling_macros.ml | 17 ++++++++--------- 1 file changed, 8 insertions(+), 9 deletions(-) diff --git a/helm/software/components/syntax_extensions/profiling_macros.ml b/helm/software/components/syntax_extensions/profiling_macros.ml index 7febf9244..479e67381 100644 --- a/helm/software/components/syntax_extensions/profiling_macros.ml +++ b/helm/software/components/syntax_extensions/profiling_macros.ml @@ -5,8 +5,8 @@ let name = ref "";; let banner _ pname = name := pname; - "(Array.make "^string_of_int max_profilers^" (0,0.)), - (Array.make "^string_of_int max_profilers^" (0.))" + "(Array.make "^string_of_int max_profilers^" (0,0.)), "^ + "(Array.make "^string_of_int max_profilers^" (0.))" ;; let ensure_label_in_table label = @@ -29,13 +29,12 @@ let start label = let stop label extra = ensure_label_in_table label; let id = Hashtbl.find profiler_label2int label in - "(let __res = " ^ extra ^ " in ( - let interval = - Unix.gettimeofday () -. (snd "^ !name^").("^string_of_int id^") - in - let oldcount,oldval = (fst "^ !name^").("^string_of_int id^") in - (fst "^ !name^").("^string_of_int id^") <- (oldcount+1,interval +. oldval) - ); __res )" + "(let __res = " ^ extra ^ " in ( "^ + "let interval = Unix.gettimeofday () -. "^ + "(snd "^ !name^").("^string_of_int id^") in "^ + "let oldcount,oldval = (fst "^ !name^").("^string_of_int id^") in "^ + "(fst "^ !name^").("^string_of_int id^") <- "^ + "(oldcount+1,interval +. oldval)); __res )" ;; let profile_start_stop _ label = -- 2.39.2