Project

General

Profile

« Previous | Next » 

Revision 629392e1

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

No more when suffix in clocked variables with kind2 option

View differences:

src/clocks.ml
359 359 
  | Cvar
360 360 
  | Cunivar    -> ()
361 361 
  | Con (ck,c,l) ->
362 
    fprintf fmt "%a when %s(%a)" print_ck_suffix ck l print_carrier c
362 
     if !Options.kind2_print then
363 
       print_ck_suffix fmt ck
364 
     else
365 
       fprintf fmt "%a when %s(%a)" print_ck_suffix ck l print_carrier c
363 366 
  | Clink ck' ->
364 367 
    print_ck_suffix fmt ck'
365 368 
  | Ccarrying (cr,ck') ->

Also available in: Unified diff