Imported Upstream version 8.2~beta3+dfsgupstream/8.2.beta3+dfsg

1 files changed, 0 insertions, 9 deletions

diff --git a/contrib/extraction/test/v2hs.ml b/contrib/extraction/test/v2hs.ml
deleted file mode 100644
index 88632875..00000000
--- a/contrib/extraction/test/v2hs.ml
+++ /dev/null
@@ -1,9 +0,0 @@
-let _ = 
-  for j = 1 to ((Array.length Sys.argv) -1) do 
-    let s = Sys.argv.(j) in
-    let b = Filename.chop_extension (Filename.basename s) in 
-    let b = String.capitalize b in
-    let d = Filename.dirname s in 
-    print_string (Filename.concat d (b ^ ".hs "))
-  done;	
-  print_newline()