Project

General

Profile

Revision d3e4c22f src/clocks.ml

View differences:

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