From ba1b3f8d2434f62c446303ce0b4efcd43d6c45b2 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Fri, 31 Aug 2018 13:11:16 +0300 Subject: [PATCH] Set intf to None deprecated modules don't really have interfaces Signed-off-by: Rudi Grinberg --- src/module.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/module.ml b/src/module.ml index 2ef21c34..7c8639c5 100644 --- a/src/module.ml +++ b/src/module.ml @@ -166,7 +166,8 @@ let to_sexp { name; impl; intf; obj_name ; pp } = let deprecate t = { t with - impl = + intf = None + ; impl = Some ( let path = match t.intf, t.impl with