fix pinning

palmskog · palmskog · commit 3cc255e0c239 · 2018-09-08T23:25:07.000-05:00
diff --git a/.travis-ci.sh b/.travis-ci.sh
@@ -6,5 +6,5 @@ eval $(opam config env)
 
 opam update
 
-opam pin add Core disel --yes --verbose
+opam pin add Core --yes --verbose
 make -j4 -C Examples
diff --git a/Core/opam b/Core/opam
@@ -1,4 +1,5 @@
 opam-version: "1.2"
+name: "disel"
 version: "dev"
 maintainer: "palmskog@gmail.com"
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`opam-version: "1.2"`
	`2`	`+name: "disel"`
`2`	`3`	`version: "dev"`
`3`	`4`	`maintainer: "palmskog@gmail.com"`
`4`	`5`