diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/main/main.cpp | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp index 2f524c3f6..fd7c1b303 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -16,12 +16,15 @@ ** Main driver for CVC4 executable. **/ -#include <iostream> -#include <fstream> #include <cstdlib> #include <cstring> +#include <fstream> +#include <iostream> #include <new> +#include <stdio.h> +#include <unistd.h> + #include "cvc4autoconfig.h" #include "main.h" #include "interactive_shell.h" @@ -125,9 +128,9 @@ int runCvc4(int argc, char* argv[]) { // different from the expected behavior of file input from // stdin, due to EOL escapes in interactive mode - // if(!options.interactiveSetByUser) { - // options.interactive = inputFromStdin; - // } + if(!options.interactiveSetByUser) { + options.interactive = inputFromStdin && isatty(fileno(stdin)); + } // Create the expression manager ExprManager exprMgr(options.earlyTypeChecking); |