From 47421af4afeaf7cd4c160b2001e207f1fae775c2 Mon Sep 17 00:00:00 2001 From: Adelyn Breelove Date: Wed, 19 Dec 2018 14:06:23 -0700 Subject: More type abstraction stuff --- disml.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'disml.opam') diff --git a/disml.opam b/disml.opam index 448cbcf..a1564d7 100644 --- a/disml.opam +++ b/disml.opam @@ -11,5 +11,5 @@ build: [ ["dune" "subst"] {pinned} ["dune" "build" "-p" name "-j" jobs] ] -install: [dune install disml] +install: [] dev-repo: "git+https://gitlab.com/Mishio595/disml" \ No newline at end of file -- cgit v1.2.3