CocoR/Test1/gen/DupVar.mod

(* Generated by SimpleM backend *)
MODULE DupVar;
VAR
  x, y : INTEGER;
VAR
  x : REAL;
BEGIN
  x := 1
END DupVar.