diff options
Diffstat (limited to 'src/tac2print.ml')
| -rw-r--r-- | src/tac2print.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tac2print.ml b/src/tac2print.ml index 9c530dfc51..0fea07ee3a 100644 --- a/src/tac2print.ml +++ b/src/tac2print.ml @@ -16,8 +16,8 @@ open Tac2ffi (** Utils *) let change_kn_label kn id = - let (mp, dp, _) = KerName.repr kn in - KerName.make mp dp (Label.of_id id) + let mp = KerName.modpath kn in + KerName.make mp (Label.of_id id) let paren p = hov 2 (str "(" ++ p ++ str ")") |