Merge pull request #7510 from tautschnig/bugfixes/7509-encoding

kroening · web-flow · commit 55112f704750 · 2023-02-01T02:38:09.000-08:00
Fix file encoding of bigint-func.cc
diff --git a/src/big-int/bigint-func.cc b/src/big-int/bigint-func.cc
@@ -2,7 +2,7 @@
 // Author: Dirk Zoller
 // References:
 //
-// [1] H�ttenhofer/Lesch/Peyerimhoff, Mathematik in Anwendung mit C++
+// [1] Hüttenhofer/Lesch/Peyerimhoff, Mathematik in Anwendung mit C++
 //     Heidelberg, Wiesbaden 1994
 
 #include "bigint.hh"
