diff options
| author | Kathy Gray | 2014-11-18 16:00:29 +0000 |
|---|---|---|
| committer | Kathy Gray | 2014-11-18 16:00:29 +0000 |
| commit | f945d21c9a4890e82272b32f754fae79fb5ee829 (patch) | |
| tree | f74f56b2e14fed15c5c7ed2ffecc1262895a4764 /src | |
| parent | 0fedee9898e45bb0996bde19f65eb268dcfb8f4f (diff) | |
Fix countLeadingZeroes typo (diff in number of es present)
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp_inter_imp.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem index 29deb6ec..faa68ee9 100644 --- a/src/lem_interp/interp_inter_imp.lem +++ b/src/lem_interp/interp_inter_imp.lem @@ -190,7 +190,7 @@ end (*Power specific external functions*) let power_externs = [ - ("countLeadingZeros", countLeadingZeros); + ("countLeadingZeroes", countLeadingZeros); ] (*All external functions*) |