diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-08-24 06:59:19 +0200 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2016-08-24 06:59:19 +0200 |
commit | 433d042350f7d7e52f9ef5def0f9405218cb109b (patch) | |
tree | f07c4afe0962a8aa9c841264da0c0c3cf9fc06f6 /engine/namegen.mli | |
parent | 96feefe1deef3486055836ef68ba8150f32d7593 (diff) |
Properly compute types for assumed section variables (bug #5035).
This bug was introduced by
commit 34ef02fac1110673ae74c41c185c228ff7876de2
Author: Matej Kosik <m4tej.kosik@gmail.com>
Date: Fri Jan 29 10:13:12 2016 +0100
CLEANUP: Context.{Rel,Named}.Declaration.t
Diffstat (limited to 'engine/namegen.mli')
0 files changed, 0 insertions, 0 deletions