Fix typos in comments

Author: peterschrammel

src/solvers/floatbv/float_bv.cpp

@@ -655,7 +655,7 @@ exprt float_bvt::div(
     from_integer(0, unsignedbv_typet(div_width - fraction_width)),
     unsignedbv_typet(div_width));
 
-  // zero-extend fraction2 to match faction1
+  // zero-extend fraction2 to match fraction1
   const typecast_exprt fraction2(unpacked2.fraction, fraction1.type());
 
   // divide fractions
@@ -858,7 +858,7 @@ void float_bvt::normalization_shift(
 {
   // n-log-n alignment shifter.
   // The worst-case shift is the number of fraction
-  // bits minus one, in case the faction is one exactly.
+  // bits minus one, in case the fraction is one exactly.
   std::size_t fraction_bits=to_unsignedbv_type(fraction.type()).get_width();
   std::size_t exponent_bits=to_signedbv_type(exponent.type()).get_width();
   PRECONDITION(fraction_bits != 0);

src/solvers/floatbv/float_utils.cpp

@@ -785,7 +785,7 @@ void float_utilst::normalization_shift(bvt &fraction, bvt &exponent)
 
   // n-log-n alignment shifter.
   // The worst-case shift is the number of fraction
-  // bits minus one, in case the faction is one exactly.
+  // bits minus one, in case the fraction is one exactly.
   PRECONDITION(!fraction.empty());
   std::size_t depth = address_bits(fraction.size() - 1);
 

src/solvers/smt2/smt2_conv.cpp

@@ -2038,7 +2038,7 @@ void smt2_convt::convert_typecast(const typecast_exprt &expr)
 
       out << " (ite (and ";
 
-      // some faction bit is not zero
+      // some fraction bit is not zero
       out << "(not (= ((_ extract " << (from_fraction_bits-1) << " 0) ?tcop) "
              "(_ bv0 " << from_fraction_bits << ")))";