diff options
| author | Hugo Herbelin | 2018-09-30 12:58:52 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-09-30 13:46:58 +0200 |
| commit | fa515984a105b523a92394578a8afc55d0e95c5d (patch) | |
| tree | 8c4666808f7bd74db3fa80e7d4fcdce0fcfef393 /dev | |
| parent | 081326a7b2c64e8620777aeae7e2275144b65b4b (diff) | |
Typo in top_printers.ml.
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/top_printers.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/top_printers.ml b/dev/top_printers.ml index ced6ea2614..e15fd776b2 100644 --- a/dev/top_printers.ml +++ b/dev/top_printers.ml @@ -139,7 +139,7 @@ let safe_pr_global = function | ConstRef kn -> pp (str "CONSTREF(" ++ Constant.debug_print kn ++ str ")") | IndRef (kn,i) -> pp (str "INDREF(" ++ MutInd.debug_print kn ++ str "," ++ int i ++ str ")") - | ConstructRef ((kn,i),j) -> pp (str "INDREF(" ++ MutInd.debug_print kn ++ str "," ++ + | ConstructRef ((kn,i),j) -> pp (str "CONSTRUCTREF(" ++ MutInd.debug_print kn ++ str "," ++ int i ++ str "," ++ int j ++ str ")") | VarRef id -> pp (str "VARREF(" ++ Id.print id ++ str ")") |