From 50d904c0181d1e714938cc5c702616f5a79c0bd2 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Fri, 17 Aug 2012 12:32:34 +0100 Subject: generator: Fix error message in checks of proc_nr. --- generator/generator_checks.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/generator/generator_checks.ml b/generator/generator_checks.ml index 287b2f84..d8c8d2e4 100644 --- a/generator/generator_checks.ml +++ b/generator/generator_checks.ml @@ -164,16 +164,16 @@ let () = List.iter ( function | { name = name; proc_nr = None } -> - failwithf "daemon function %s should have proc_nr > 0" name + failwithf "daemon function %s should have proc_nr = Some n > 0" name | { name = name; proc_nr = Some n } when n <= 0 -> - failwithf "daemon function %s should have proc_nr > 0" name + failwithf "daemon function %s should have proc_nr = Some n > 0" name | { proc_nr = Some _ } -> () ) daemon_functions; List.iter ( function | { name = name; proc_nr = Some _ } -> - failwithf "non-daemon function %s should have proc_nr -1" name + failwithf "non-daemon function %s should have proc_nr = None" name | { proc_nr = None } -> () ) non_daemon_functions; -- cgit