Fixing typos - Part 3

1 files changed, 1 insertions, 1 deletions

diff --git a/printing/ppconstr.ml b/printing/ppconstr.ml
index 9d3ed40f6c..e495b1af41 100644
--- a/printing/ppconstr.ml
+++ b/printing/ppconstr.ml
@@ -348,7 +348,7 @@ let tag_var = tag Tag.variable
             hov 1 (str "`" ++ (surround_impl b'
                                  (pr_lident CAst.(make ?loc id) ++ str " : " ++
                                     (if t' then str "!" else mt()) ++ pr t)))
-          |_ -> anomaly (Pp.str "List of generalized binders have alwais one element.")
+          |_ -> anomaly (Pp.str "List of generalized binders have always one element.")
         end
       | Default b ->
         match t with