diff options
| author | Pierre-Marie Pédrot | 2016-12-05 16:32:26 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-05-19 15:17:31 +0200 |
| commit | 152b259b7b587ea949dd856b24beaf56466f3f27 (patch) | |
| tree | b4fa92941b1e4a851723dfe133a79dc9d3ef8035 /tac2expr.mli | |
| parent | 07ad1ca45473ba02db9b687bb7e89d440ba79b20 (diff) | |
Fixing a precedence issue in type parameters.
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 *) |