diff --git a/client/FPrinter.ml b/client/FPrinter.ml
index d061b48e3fa640dd34c0ffed3232dd240473a241..97245b966cd4f43ea0e39bd388449985ac07fdb2 100644
--- a/client/FPrinter.ml
+++ b/client/FPrinter.ml
@@ -213,5 +213,5 @@ let print_type_error e =
       str "Scope error." ++
       str "The variable %s is bound twice in a pattern." x
   | ContextNotAbsurd ->
-      str "Type error." ++
-      str "The context is not absurd"
+       str "Type error." ++
+       str "The type equations in the typing environment are not contradictory."