From f945d21c9a4890e82272b32f754fae79fb5ee829 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 18 Nov 2014 16:00:29 +0000
Subject: Fix countLeadingZeroes typo (diff in number of es present)

---
 src/lem_interp/interp_inter_imp.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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*)
-- 
cgit v1.2.3