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