Author: Ralf Treinen <treinen@debian.org>
Description: Typos found by lintian

Index: why3/src/printer/cvc3.ml
===================================================================
--- why3.orig/src/printer/cvc3.ml	2016-03-29 20:57:15.901818225 +0200
+++ why3/src/printer/cvc3.ml	2016-03-29 21:29:14.172284277 +0200
@@ -23,7 +23,7 @@
   let bls = (*["and";" benchmark";" distinct";"exists";"false";"flet";"forall";
      "if then else";"iff";"implies";"ite";"let";"logic";"not";"or";
      "sat";"theory";"true";"unknown";"unsat";"xor";
-     "assumption";"axioms";"defintion";"extensions";"formula";
+     "assumption";"axioms";"definition";"extensions";"formula";
      "funs";"extrafuns";"extrasorts";"extrapreds";"language";
      "notes";"preds";"sorts";"status";"theory";"Int";"Real";"Bool";
      "Array";"U";"select";"store"]*)
Index: why3/src/printer/smtv1.ml
===================================================================
--- why3.orig/src/printer/smtv1.ml	2016-03-29 20:57:15.913818282 +0200
+++ why3/src/printer/smtv1.ml	2016-03-29 21:28:44.740166965 +0200
@@ -23,7 +23,7 @@
   let bls = ["and";"benchmark";"distinct";"exists";"false";"flet";"forall";
      "if then else";"iff";"implies";"ite";"let";"logic";"not";"or";
      "sat";"theory";"true";"unknown";"unsat";"xor";
-     "assumption";"axioms";"defintion";"extensions";"formula";
+     "assumption";"axioms";"definition";"extensions";"formula";
      "funs";"extrafuns";"extrasorts";"extrapreds";"language";
      "notes";"preds";"sorts";"status";"theory";"Int";"Real";"Bool";
      "Array";"U";"select";"store"] in
Index: why3/src/printer/smtv2.ml
===================================================================
--- why3.orig/src/printer/smtv2.ml	2016-03-29 20:57:15.913818282 +0200
+++ why3/src/printer/smtv2.ml	2016-03-29 21:29:03.364241172 +0200
@@ -28,7 +28,7 @@
   let bls = (*["and";" benchmark";" distinct";"exists";"false";"flet";"forall";
      "if then else";"iff";"implies";"ite";"let";"logic";"not";"or";
      "sat";"theory";"true";"unknown";"unsat";"xor";
-     "assumption";"axioms";"defintion";"extensions";"formula";
+     "assumption";"axioms";"definition";"extensions";"formula";
      "funs";"extrafuns";"extrasorts";"extrapreds";"language";
      "notes";"preds";"sorts";"status";"theory";"Int";"Real";"Bool";
      "Array";"U";"select";"store"]*)
Index: why3/src/printer/yices.ml
===================================================================
--- why3.orig/src/printer/yices.ml	2016-03-29 20:57:15.913818282 +0200
+++ why3/src/printer/yices.ml	2016-03-29 21:29:23.476321409 +0200
@@ -23,7 +23,7 @@
   let bls = (*["and";" benchmark";" distinct";"exists";"false";"flet";"forall";
      "if then else";"iff";"implies";"ite";"let";"logic";"not";"or";
      "sat";"theory";"true";"unknown";"unsat";"xor";
-     "assumption";"axioms";"defintion";"extensions";"formula";
+     "assumption";"axioms";"definition";"extensions";"formula";
      "funs";"extrafuns";"extrasorts";"extrapreds";"language";
      "notes";"preds";"sorts";"status";"theory";"Int";"Real";"Bool";
      "Array";"U";"select";"store"]*)
Index: why3/src/transform/prepare_for_counterexmp.ml
===================================================================
--- why3.orig/src/transform/prepare_for_counterexmp.ml	2016-03-29 20:57:15.925818340 +0200
+++ why3/src/transform/prepare_for_counterexmp.ml	2016-03-29 21:26:19.763592879 +0200
@@ -44,7 +44,7 @@
 let prepare_for_counterexmp env = Trans.store (prepare_for_counterexmp2 env)
 
 let () = Trans.register_env_transform "prepare_for_counterexmp" prepare_for_counterexmp
-  ~desc:"Transformation@ that@ prepares@ the@ task@ for@ quering@ for@ \
+  ~desc:"Transformation@ that@ prepares@ the@ task@ for@ querying@ for@ \
     the@ counter-example@ model.@ This@ transformation@ does@ so@ only@ \
 when@ the@ solver@ will@ be@ asked@ for@ the@ counter-example."
 
Index: why3/src/transform/prepare_for_counterexmp.mli
===================================================================
--- why3.orig/src/transform/prepare_for_counterexmp.mli	2016-03-29 20:57:15.925818340 +0200
+++ why3/src/transform/prepare_for_counterexmp.mli	2016-03-29 21:26:54.683730530 +0200
@@ -16,7 +16,7 @@
 
 val prepare_for_counterexmp :  Env.env -> Task.task Trans.trans
  (**
-    Transformation that prepares the task for quering for
+    Transformation that prepares the task for querying for
     the counter-example model.
     This transformation does so only when the solver will be asked
     for the counter-example.
