Project

General

Profile

« Previous | Next » 

Revision d3281b4e

Added by Pierre-Loïc Garoche almost 5 years ago

Missing file

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