1 files changed, 0 insertions, 32 deletions
diff --git a/gdb/testsuite/gdb.chill/pr-8742.ch b/gdb/testsuite/gdb.chill/pr-8742.ch
deleted file mode 100644
index 0541149..0000000
--- a/gdb/testsuite/gdb.chill/pr-8742.ch
+++ /dev/null
@@ -1,32 +0,0 @@
-hugo : module
-  
-  synmode a = range(1:10);
-  synmode p = powerset a;
-  
-  synmode s = set (sa, sb, sc);
-  synmode s_ps = powerset s;
-  
-  x: proc (ps p);
-    dcl i a;
-    do for i in ps;
-      writetext (stdout, "%C ", i);
-    od;
-    writetext(stdout, "%/");
-  end x;
-  
-  y : proc (ps s_ps);
-    dcl i s;
-    do for i in ps;
-      writetext (stdout, "%C ", i);
-    od;
-    writetext(stdout, "%/");
-  end y;
-
-  dummy: proc ();
-  end dummy;
-      
-  x([1,2,3]);
-  y([sa, sc]);
-  dummy ();
-  
-end hugo;