general cleanup

diff --git a/.gitignore b/.gitignore
index a1a11833d8860dad4fe9f47b27deb20d297664bf..a8a2c4954d18de0b9122ca754615cc78c57ada58 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,4 @@
 *.a
 edit
 dlltide.so
+deps.mk

diff --git a/edit.ml b/edit.ml
index 5663a11a21e1e22000fbc2c0774f12600cd17d18..ccee621bbab80e78c0d12ed49d062ef815a1a287 100644 (file)
--- a/edit.ml
+++ b/edit.ml
@@ -1,5 +1,3 @@
-open Tide
-
 let () =
   let server = Tide.start_server () in
   let nargs = Array.length Sys.argv in