Commit da19e5c0 authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

minor

parent 7b002aa8
...@@ -366,4 +366,5 @@ if test "$enable_coq_support" = "yes" ; then ...@@ -366,4 +366,5 @@ if test "$enable_coq_support" = "yes" ; then
fi fi
echo "tptp2why support : $enable_tptp2why_support" echo "tptp2why support : $enable_tptp2why_support"
echo "hypothesis selection : $enable_hypothesis_selection" echo "hypothesis selection : $enable_hypothesis_selection"
echo "profiling : $ENABLE_PROFILING" echo "profiling : $ENABLE_PROFILING"
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment