diff --git a/vsa/value_set/lib/Makefile b/vsa/value_set/lib/Makefile index 9ed72ca..832c716 100644 --- a/vsa/value_set/lib/Makefile +++ b/vsa/value_set/lib/Makefile @@ -3,7 +3,6 @@ project = cbat_value_set all: build clean.local: - opam pin remove -y . dune uninstall dune clean @@ -12,7 +11,6 @@ build: install.local: build dune install - opam pin add -y . doc: dune build @doc