Description: Fixed typos found by lintian
Author: Michael Tautschnig <mt@debian.org>

---
The information above should follow the Patch Tagging Guidelines, please
checkout http://dep.debian.net/deps/dep3/ to learn about the format. Here
are templates for supplementary fields that you might want to add:

--- z3-4.4.0.orig/src/ast/dl_decl_plugin.cpp
+++ z3-4.4.0/src/ast/dl_decl_plugin.cpp
@@ -461,7 +461,7 @@ namespace datalog {
             return 0;
         }
         if (!ps.is_ast() || !is_sort(ps.get_ast()) || !is_fin_sort(to_sort(ps.get_ast()))) {
-            m_manager->raise_exception("second paramter should be a finite domain sort");
+            m_manager->raise_exception("second parameter should be a finite domain sort");
             return 0;
         }
         sort* s = to_sort(ps.get_ast());
--- z3-4.4.0.orig/src/muz/base/fixedpoint_params.pyg
+++ z3-4.4.0/src/muz/base/fixedpoint_params.pyg
@@ -23,7 +23,7 @@ def_module_params('fixedpoint',
 
 
                           ('initial_restart_timeout', UINT, 0, "length of saturation run before the first restart (in ms), zero means no restarts"),
-                          ('output_profile', BOOL, False, "determines whether profile informations should be output when outputting Datalog rules or instructions"),
+                          ('output_profile', BOOL, False, "determines whether profile information should be output when outputting Datalog rules or instructions"),
                           ('inline_linear', BOOL, True, "try linear inlining method"),
                           ('inline_eager', BOOL, True, "try eager inlining of rules"),
                           ('inline_linear_branch', BOOL, False, "try linear inlining method with potential expansion"),
--- z3-4.4.0.orig/src/smt/smt_context_pp.cpp
+++ z3-4.4.0/src/smt/smt_context_pp.cpp
@@ -244,7 +244,7 @@ namespace smt {
 
     void context::display_app_enode_map(std::ostream & out) const {
         if (!m_e_internalized_stack.empty()) {
-            out << "expresion -> enode:\n";
+            out << "expression -> enode:\n";
             unsigned sz = m_e_internalized_stack.size();
             for (unsigned i = 0; i < sz; i++) {
                 expr *  n = m_e_internalized_stack.get(i);
@@ -256,7 +256,7 @@ namespace smt {
 
     void context::display_expr_bool_var_map(std::ostream & out) const {
         if (!m_b_internalized_stack.empty()) {
-            out << "expresion -> bool_var:\n";
+            out << "expression -> bool_var:\n";
             unsigned sz = m_b_internalized_stack.size();
             for (unsigned i = 0; i < sz; i++) {
                 expr *  n  = m_b_internalized_stack.get(i);
