diff options
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/me/trans.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index f54a5d65..8c280ebd 100644 --- a/src/boot/me/trans.ml +++ b/src/boot/me/trans.ml @@ -674,7 +674,9 @@ let trans_visitor (Printf.sprintf "calculated size %s is %s" (string_of_size size) (oper_str res))); - htab_put (emitter_size_cache()) size res; + + (* FIXME: this appears to be incorrect; investigate why.*) + (* htab_put (emitter_size_cache()) size res; *) res |