diff options
| author | Kathy Gray | 2015-06-16 17:00:58 +0100 |
|---|---|---|
| committer | Kathy Gray | 2015-06-16 17:00:58 +0100 |
| commit | 8e84dc526366d3db615d9f5e7e166ae59dd9ff80 (patch) | |
| tree | 356dc86d2298b9d1d6c20c2a5fd81874871ccf96 /src/lem_interp/printing_functions.ml | |
| parent | f54957dfc7c0751d4625c4954f8dffbcf2e5ddb0 (diff) | |
Fix omissions in nexp normalisation causing constraints not to be checked.
Refine types of primitive functions to permit more constraints to be properly checked.
Diffstat (limited to 'src/lem_interp/printing_functions.ml')
0 files changed, 0 insertions, 0 deletions