KenLM df5be22 lmplz for estimation

3 files changed, 5 insertions, 5 deletions

diff --git a/util/double-conversion/Jamfile b/util/double-conversion/Jamfile
index 8c422f88c..7a92afaa4 100644
--- a/util/double-conversion/Jamfile
+++ b/util/double-conversion/Jamfile
@@ -1 +1 @@
-alias double-conversion : [ glob *.cc ] : : : <include>. ;
+fakelib double-conversion : [ glob *.cc ] : : : <include>. ;
diff --git a/util/double-conversion/double-conversion.cc b/util/double-conversion/double-conversion.cc
index a79fe92d2..febba6cd7 100644
--- a/util/double-conversion/double-conversion.cc
+++ b/util/double-conversion/double-conversion.cc
@@ -577,7 +577,7 @@ double StringToDoubleConverter::StringToIeee(
     const char* input,
     int length,
     int* processed_characters_count,
-    bool read_as_double) {
+    bool read_as_double) const {
   const char* current = input;
   const char* end = input + length;
 
diff --git a/util/double-conversion/double-conversion.h b/util/double-conversion/double-conversion.h
index f98edae75..1c3387d4f 100644
--- a/util/double-conversion/double-conversion.h
+++ b/util/double-conversion/double-conversion.h
@@ -502,7 +502,7 @@ class StringToDoubleConverter {
   // in the 'processed_characters_count'. Trailing junk is never included.
   double StringToDouble(const char* buffer,
                         int length,
-                        int* processed_characters_count) {
+                        int* processed_characters_count) const {
     return StringToIeee(buffer, length, processed_characters_count, true);
   }
 
@@ -511,7 +511,7 @@ class StringToDoubleConverter {
   // due to potential double-rounding.
   float StringToFloat(const char* buffer,
                       int length,
-                      int* processed_characters_count) {
+                      int* processed_characters_count) const {
     return static_cast<float>(StringToIeee(buffer, length,
                                            processed_characters_count, false));
   }
@@ -526,7 +526,7 @@ class StringToDoubleConverter {
   double StringToIeee(const char* buffer,
                       int length,
                       int* processed_characters_count,
-                      bool read_as_double);
+                      bool read_as_double) const;
 
   DISALLOW_IMPLICIT_CONSTRUCTORS(StringToDoubleConverter);
 };