diff --git a/src/shell/smtlib_frontend.cpp b/src/shell/smtlib_frontend.cpp
index 3197f8cff..13c928ddd 100644
--- a/src/shell/smtlib_frontend.cpp
+++ b/src/shell/smtlib_frontend.cpp
@@ -124,6 +124,7 @@ unsigned read_smtlib2_commands(char const * file_name) {
             exit(ERR_OPEN_FILE);
         }
         result = parse_smt2_commands(ctx, in);
+        in.close();
     }
     else {
         result = parse_smt2_commands(ctx, std::cin, true);