- { echo "$as_me:$LINENO: result: Eventually you willl come to SimIX: x$enable_simix" >&5
-echo "${ECHO_T}Eventually you willl come to SimIX: x$enable_simix" >&6; }
+ { echo "$as_me:$LINENO: result: Eventually you will come to SimIX: x$enable_simix" >&5
+echo "${ECHO_T}Eventually you will come to SimIX: x$enable_simix" >&6; }