diff options
| author | Thomas Bauereiss | 2018-05-11 15:48:26 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-05-11 16:11:51 +0100 |
| commit | c1ffcd56c941c3850d2de82a9011b3ae9b36a6d1 (patch) | |
| tree | d238626c708ae302ed0fc38877861b5768587b81 /src/lem_interp/run_interp.ml | |
| parent | 3b2185dabdd5003c7553a7c86eab201cdebd5630 (diff) | |
Work around Lem generation problem in RISC-V
"sum" is an existing constant in Isabelle, and the Lem constant avoiding
mechanism does not seem to pick it up when used as the name of a function
parameter.
Diffstat (limited to 'src/lem_interp/run_interp.ml')
0 files changed, 0 insertions, 0 deletions