X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=lib%2Fwhenstate.ml;h=fe53a1649cf1f2711b70d99fb6b0ded112bc6c53;hp=ddbc302b74e5b347f5070d6a5dded06b69844a3a;hb=f35f462b83f860958da38347d30b45986b8f4774;hpb=adc311d69459345a9ce23864d7aa41a7a6b97b42 diff --git a/lib/whenstate.ml b/lib/whenstate.ml index ddbc302..fe53a16 100644 --- a/lib/whenstate.ml +++ b/lib/whenstate.ml @@ -115,7 +115,7 @@ let get_everyjobs t = List.filter (function { job_cond = Every_job _ } -> true | _ -> false) t.jobs let get_job t jobname = - try StringMap.find jobname t.jobmap with Not_found -> assert false + StringMap.find jobname t.jobmap let evaluate_whenjob ?(onload = false) t job = match job with