From 72b1bd8de39ed8b134451fd56508d6a67a4ac77f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= <gwenael.delaval@inria.fr>
Date: Thu, 26 Jul 2012 01:33:32 +0200
Subject: [PATCH] Typo in error message

---
 compiler/minils/analysis/clocking.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/minils/analysis/clocking.ml b/compiler/minils/analysis/clocking.ml
index 5dabfaf..42f2b4f 100644
--- a/compiler/minils/analysis/clocking.ml
+++ b/compiler/minils/analysis/clocking.ml
@@ -62,7 +62,7 @@ let error_message loc = function
       raise Errors.Error
   | Eclockclash (actual_ck, expected_ck) ->
       Format.eprintf "%aClock Clash: this value has clock %a,@\n\
-                        but is exprected to have clock %a.@."
+                        but is expected to have clock %a.@."
         print_location loc
         print_ck actual_ck
         print_ck expected_ck;