Revision d3e4c22f src/clocks.ml
src/clocks.ml | ||
---|---|---|
447 | 447 |
(* |
448 | 448 |
if cvar.cscoped |
449 | 449 |
then |
450 |
fprintf fmt "['_%s%a]"
|
|
450 |
fprintf fmt "[_%s%a]" |
|
451 | 451 |
(name_of_type cvar.cid) |
452 | 452 |
print_ckset cset |
453 | 453 |
else |
454 | 454 |
*) |
455 |
fprintf fmt "'_%s%a"
|
|
455 |
fprintf fmt "_%s%a" |
|
456 | 456 |
(name_of_type cvar.cid) |
457 | 457 |
print_ckset cset |
458 | 458 |
| Cunivar cset -> |
... | ... | |
494 | 494 |
(* |
495 | 495 |
if ck.cscoped |
496 | 496 |
then |
497 |
fprintf fmt "['_%s]" (name_of_type ck.cid)
|
|
497 |
fprintf fmt "[_%s]" (name_of_type ck.cid) |
|
498 | 498 |
else |
499 | 499 |
*) |
500 |
fprintf fmt "'_%s" (name_of_type ck.cid)
|
|
500 |
fprintf fmt "_%s" (name_of_type ck.cid) |
|
501 | 501 |
| Cunivar cset -> |
502 | 502 |
(* |
503 | 503 |
if ck.cscoped |
Also available in: Unified diff