Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / backends.ml @ 37419cf4

History | View | Annotate | Download (134 Bytes)

1
(* Backend-specific options *)
2
let join_guards = ref true
3

    
4
let setup s =
5
  match s with
6
  | "emf" -> join_guards := false
7
  | _ -> ()