From 8f26d216ad75c8e6cb017ae8b0f5e6f1cd62f505 Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Thu, 9 Apr 2009 18:25:53 +0200
Subject: [PATCH] A word has a width, not a length.

---
 CoreTools.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CoreTools.hs b/CoreTools.hs
index a911456..06b7a62 100644
--- a/CoreTools.hs
+++ b/CoreTools.hs
@@ -46,7 +46,7 @@ eval_tfp_int ty =
     core <- toCore modules expr
     execCore core 
 
--- | Get the length of a SizedWord type
+-- | Get the width of a SizedWord type
 sized_word_len :: Type.Type -> Int
 sized_word_len ty =
   eval_tfp_int len
-- 
2.30.2