From 62b9630c4b860569af59d63a39f229601817a58a Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 3 Jul 2020 11:26:38 -0700 Subject: [PATCH] remove unicode from hnf_cutter.h Signed-off-by: Lev Nachmanson --- src/math/lp/hnf_cutter.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/hnf_cutter.h b/src/math/lp/hnf_cutter.h index 8ff9732d0..b3530ea29 100644 --- a/src/math/lp/hnf_cutter.h +++ b/src/math/lp/hnf_cutter.h @@ -9,7 +9,7 @@ Abstract: Cuts (branches) from Hermite matrices The implementation is based on ideas from - "Cutting the Mix" by Jürgen Christ and Jochen Hoenicke. + "Cutting the Mix" by Jurgen Christ and Jochen Hoenicke. Author: Lev Nachmanson (levnach)