path: root/src/CoqupClflags.ml

(* Coqup flags *)
let option_simulate = ref false
let option_hls = ref true
let option_debug_hls = ref false
let option_initial = ref false
let option_dhtl = ref false