From f36bb9b4f35286c5dd2b8e047ba294b47652823b Mon Sep 17 00:00:00 2001
From: Enrico
Date: Tue, 24 Apr 2018 15:15:25 +0200
Subject: fix typo

thanks Yves---
 ChangeLog | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 050af89..13045e9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -17,7 +17,7 @@
 	  conjC, n.-root and sqrtC, previously defined in library algC.v,
 	  are now part of this generic interface. In case of ambiguity,
 	  a cast to type algC, of complex algebraic numbers, can be used to
-	  desambiguate via  typing constraints. Some theory was thus made
+	  disambiguate via  typing constraints. Some theory was thus made
 	  more generic, and the corresponding lemmas, previously defined in
 	  library algC.v (e.g. conjCK) now feature an extra, non maximal
 	  implicit, parameter of type numClosedFieldType. This could break
-- 
cgit v1.2.3