diff options
| author | Prashanth Mundkur | 2018-04-18 14:56:42 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-04-18 14:56:42 -0700 |
| commit | e5da122d95fe77fcc44bc832f90c79435b947a8a (patch) | |
| tree | ee511fb35b995fa1997d089fec3cf2914a15df6f /src/interpreter.ml | |
| parent | 3194f0f124b4f1e83d1248a4c52ed05eb3de2837 (diff) | |
Use the generated num_of_E function for enum E instead of defining one by hand.
Diffstat (limited to 'src/interpreter.ml')
0 files changed, 0 insertions, 0 deletions