Project

General

Profile

Revision 0f36882c src/plugins/scopes/scopes.ml

View differences:

src/plugins/scopes/scopes.ml
313 313

  
314 314
  let pp fmt = pp_scopes fmt !scopes_map
315 315

  
316
  let check_force_stateful () = true
316
  let check_force_stateful () = !option_scopes
317 317

  
318 318
  let refine_machine_code prog machine_code =
319 319
    if show_scopes () then

Also available in: Unified diff