From b9ee77f8153090e9d47e73ab195540d10720c7b6 Mon Sep 17 00:00:00 2001 From: Adelyn Breelove Date: Thu, 10 Jan 2019 13:12:49 -0700 Subject: AAAAAAAAAAAAAAAAAAAAAAAA --- lib/dispatch.mli | 1 - 1 file changed, 1 deletion(-) delete mode 100644 lib/dispatch.mli (limited to 'lib/dispatch.mli') diff --git a/lib/dispatch.mli b/lib/dispatch.mli deleted file mode 100644 index 100a34b..0000000 --- a/lib/dispatch.mli +++ /dev/null @@ -1 +0,0 @@ -module Make(H : S.Handler) : S.Dispatch \ No newline at end of file -- cgit v1.2.3