Project

General

Profile

Revision 37419cf4

View differences:

src/backends/backends.ml
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
  | _ -> ()

Also available in: Unified diff