Author: Ralf Treinen <treinen@debian.org>
Description: fix some spelling errors

Index: alt-ergo/src/util/profiling_default.ml
===================================================================
--- alt-ergo.orig/src/util/profiling_default.ml	2016-11-29 21:25:40.013885494 +0100
+++ alt-ergo/src/util/profiling_default.ml	2016-12-12 19:56:06.703724080 +0100
@@ -47,7 +47,7 @@
 
   let failure () =
     Format.eprintf "@.%s %s@.@."
-      "Error: This module is not implemented! You may want to complile"
+      "Error: This module is not implemented! You may want to compile"
       "and load the plugin provided in non-free/profiler/ instead";
     exit 1
 
Index: alt-ergo/src/util/options.ml
===================================================================
--- alt-ergo.orig/src/util/options.ml	2016-11-29 21:25:40.013885494 +0100
+++ alt-ergo/src/util/options.ml	2016-12-12 19:57:39.344160828 +0100
@@ -217,7 +217,7 @@
     "-no-theory", Arg.Set no_theory, " Completely deactivate theory reasoning";
     "-age-bound", Arg.Set_int age_bound, "<n> set the age limite bound";
     "-greedy" , Arg.Set greedy,
-    " use all available ground terms in instanciation";
+    " use all available ground terms in instantiation";
     "-nb-triggers" , Arg.Set_int nb_triggers,
     " number of redondant (multi)triggers (default: 2)";
     "-triggers-var" , Arg.Set triggers_var , " allows variables as triggers";
@@ -233,7 +233,7 @@
     "-complete-model", Arg.Set complete_model, " experimental support for complete model";
     "-dinterpretation", Arg.Set debug_interpretation, " set debug flag for interpretation generatation";
     "-interpretation", Arg.Set_int interpretation, " experimental support for counter-example generation. Possible values are 1, 2, or 3 to compute an interpretation before returning Unknown, before instantiation, or before every decision or instantiation. A negative value (-1, -2, or -3) will disable interpretation display. Note that -max-split limitation will be ignored in model generation phase";
-    "-proof", Arg.Set proof, " experimental support for succint proof";
+    "-proof", Arg.Set proof, " experimental support for succinct proof";
     "-debug-proof", Arg.Set debug_proof, " replay unsatisfiable core produced by -proof. This options implies -proof";
     "-rules", Arg.String set_rules, "tr (tr in <parsing|typing|sat|cc|arith>) output rules used on stderr";
     "-max-split", Arg.String set_max_split,
