aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2017-02-20 16:01:29 +0100
committerGravatar Maxime Dénès <mail@maximedenes.fr>2017-02-20 16:01:29 +0100
commit2b4f249ed0a28cde876f18aacf19f646d8af8fae (patch)
tree785019647a01b9eaa0e662e08422df294ebb8dca /kernel
parent278cebe6835512a5646eafcb13e1f020c0dc5d91 (diff)
parent9907e296e21fdd9dc3fab2b84fe7159b35af654c (diff)
Merge PR#189: Remove tabulation support from pretty-printing.
Diffstat (limited to 'kernel')
-rw-r--r--kernel/cbytecodes.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/cbytecodes.ml b/kernel/cbytecodes.ml
index 810c34699..94ca4c72d 100644
--- a/kernel/cbytecodes.ml
+++ b/kernel/cbytecodes.ml
@@ -299,7 +299,7 @@ and pp_bytecodes c =
| Ksequence (l1, l2) :: c ->
pp_bytecodes l1 ++ pp_bytecodes l2 ++ pp_bytecodes c
| i :: c ->
- tab () ++ pp_instr i ++ fnl () ++ pp_bytecodes c
+ pp_instr i ++ fnl () ++ pp_bytecodes c
(*spiwack: moved this type in this file because I needed it for
retroknowledge which can't depend from cbytegen *)