From e570597b2f80a2a86b8672a40387dc63fd31b555 Mon Sep 17 00:00:00 2001 From: Cyril SIX Date: Tue, 30 Apr 2019 11:08:38 +0200 Subject: Setting fpostpass= option --- mppa_k1c/PostpassSchedulingOracle.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'mppa_k1c') diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml index 25bf99e0..41a5454b 100644 --- a/mppa_k1c/PostpassSchedulingOracle.ml +++ b/mppa_k1c/PostpassSchedulingOracle.ml @@ -761,7 +761,7 @@ let do_schedule bb = else if !Clflags.option_fpostpass_sched = "list" then validated_scheduler list_scheduler else if !Clflags.option_fpostpass_sched = "dumb" then - dumb_scheduler else failwith "No scheduler provided") problem + dumb_scheduler else failwith ("Invalid scheduler:" ^ !Clflags.option_fpostpass_sched)) problem (* in let solution = validated_scheduler (if !Clflags.option_fpostpass_ilp then cascaded_scheduler -- cgit