Project

General

Profile

Revision 13507742 src/corelang.ml

View differences:

src/corelang.ml
1065 1065
let copy_prog top_list =
1066 1066
  List.map copy_top top_list
1067 1067

  
1068
let functional_backend () = 
1069
  match !Options.output with
1070
  | "horn" | "lustre" | "acsl" -> true
1071
  | _ -> false
1072

  
1073 1068
(* Local Variables: *)
1074 1069
(* compile-command:"make -C .." *)
1075 1070
(* End: *)

Also available in: Unified diff