remove extra print in facts

Signed-off-by: vsoch <vsoch@users.noreply.github.com>
vsoch · Mar 16, 2021 · 80bbe67 · 80bbe67
1 parent 9f22faf
commit 80bbe67
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/abi-python/asp.py b/abi-python/asp.py
@@ -649,7 +649,6 @@ def is_compatible(
 
     # Create the parser, and generate the corpus
     parser = ABIParser()
-    print("preparing corpora...")
     corpusA = parser.get_corpus_from_elf(binary)
     corpusB = parser.get_corpus_from_elf(library)
     setup = ABICompatSolverSetup()

diff --git a/abi-python/facts.lp b/abi-python/facts.lp
@@ -1,4 +1,3 @@
-preparing corpora...
 
 %============================================================================
 % Corpus Facts