diff --git a/tests/reftests/lock.test b/tests/reftests/lock.test index e8ff5903f86..37243ebdd5b 100644 --- a/tests/reftests/lock.test +++ b/tests/reftests/lock.test @@ -386,7 +386,6 @@ Done. opam-version: "2.0" name: "silver" depends: "foo" -### : Make sure silver isn't pinned twice ### opam pin -n old Package silver does not exist, create as a NEW package? [Y/n] y silver is now pinned to file://${BASEDIR}/old (version dev) diff --git a/tests/reftests/pin.test b/tests/reftests/pin.test index 5362b012c23..5a6b83269ab 100644 --- a/tests/reftests/pin.test +++ b/tests/reftests/pin.test @@ -942,8 +942,5 @@ url.src: "git+file://${BASEDIR}/vcs-local#master" opam-version: "2.0" name: "double" ### opam pin -n double -This will pin the following packages: double, double. Continue? [Y/n] y Package double does not exist, create as a NEW package? [Y/n] y double is now pinned to file://${BASEDIR}/double (version dev) -[NOTE] Package double is already pinned to file://${BASEDIR}/double (version dev). -double is now pinned to file://${BASEDIR}/double (version dev)