diff --git a/infer/.merlin b/infer/.merlin index 811878496..cd02f8158 100644 --- a/infer/.merlin +++ b/infer/.merlin @@ -3,6 +3,7 @@ B _build-infer/** PKG atdgen PKG extlib PKG javalib +PKG ounit PKG ptrees PKG sawja PKG str