From 2633dc56abc23dc078b58694eb725fbe38954450 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 24 Mar 2013 08:59:43 -0700 Subject: [PATCH] Fix non ASCII character Signed-off-by: Leonardo de Moura --- scripts/mk_util.py | 1 + src/muz_qe/dl_mk_karr_invariants.cpp | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 06120e2c4..257b1b295 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -520,6 +520,7 @@ def parse_options(): # Return a list containing a file names included using '#include' in # the given C/C++ file named fname. def extract_c_includes(fname): + print(fname) result = [] # We look for well behaved #include directives std_inc_pat = re.compile("[ \t]*#include[ \t]*\"(.*)\"[ \t]*") diff --git a/src/muz_qe/dl_mk_karr_invariants.cpp b/src/muz_qe/dl_mk_karr_invariants.cpp index 18b152589..d44b31979 100644 --- a/src/muz_qe/dl_mk_karr_invariants.cpp +++ b/src/muz_qe/dl_mk_karr_invariants.cpp @@ -11,7 +11,7 @@ Abstract: The linear invariants are extracted according to Karr's method. A short description is in - Nikolaj Bjørner, Anca Browne and Zohar Manna. Automatic Generation + Nikolaj Bjorner, Anca Browne and Zohar Manna. Automatic Generation of Invariants and Intermediate Assertions, in CP 95. The algorithm is here adapted to Horn clauses.