diff options
| author | Son Ho | 2023-09-04 01:09:22 +0200 |
|---|---|---|
| committer | Son Ho | 2023-09-04 01:09:22 +0200 |
| commit | e18160aa7a796989cc6ff7c953ee088023a3ea93 (patch) | |
| tree | 8ff39fcae0efbe156ab589d89a65b01d9f5309dd /compiler/InterpreterLoopsCore.ml | |
| parent | 3151e373d64f9bce6146a44cd2d3cc64cac84cbf (diff) | |
Fix a minor issue in HOL4
Diffstat (limited to 'compiler/InterpreterLoopsCore.ml')
0 files changed, 0 insertions, 0 deletions