remove ResScand and use either Prelude.bindComma or Coordination.comma

2018-06-28 11:32:52 +02:00
parent ddffa1928f
commit 2c0caaf687
2 changed files with 1 additions and 3 deletions
@@ -86,6 +86,4 @@ interface ResScand = DiffScand ** open CommonScand, Prelude in {
    isSimple = True
    } ;

-  comma : Str = SOFT_BIND ++ "," ;
-
 }