diff --git a/src/client/opamPinCommand.ml b/src/client/opamPinCommand.ml index de2c6f91d32..4d7b92eb543 100644 --- a/src/client/opamPinCommand.ml +++ b/src/client/opamPinCommand.ml @@ -782,7 +782,7 @@ let list st ~short = state; OpamConsole.colorise `blue kind; String.concat " " (target::extra); - Option.default "" vcs_revision ] + OpamStd.Option.default "" vcs_revision ] with Not_found -> [ OpamPackage.to_string nv; OpamConsole.colorise `red " (no definition found)" ]