diff options
| author | Gabriel Kerneis | 2014-01-07 19:35:25 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-01-07 19:35:25 +0100 |
| commit | 4cb48452cc294560acc5a62735bd41cb52d36cc2 (patch) | |
| tree | 2d01be444bbc4942395fd27f770ea19d5b4cfb9d /src/finite_map.ml | |
| parent | 30db6c5227126b13455bccc8f68602ad658f6b92 (diff) | |
interp: recover identifiers in error messages
Not displayed currently because of new-lem's lack of string
concatenation.
Diffstat (limited to 'src/finite_map.ml')
0 files changed, 0 insertions, 0 deletions