diff options
Diffstat (limited to 'tac2expr.mli')
| -rw-r--r-- | tac2expr.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tac2expr.mli b/tac2expr.mli index b9b649e481..c3c1e56dea 100644 --- a/tac2expr.mli +++ b/tac2expr.mli @@ -131,7 +131,7 @@ type valexpr = (** Immediate integers *) | ValBlk of tag * valexpr array (** Structured blocks *) -| ValStr of string +| ValStr of Bytes.t (** Strings *) | ValCls of closure (** Closures *) |