diff --git a/pform.cc b/pform.cc index f071d1fbf..029e6cb32 100644 --- a/pform.cc +++ b/pform.cc @@ -3696,7 +3696,7 @@ int pform_parse(const char*path) if (vl_input != stdin) { if (ivlpp_string) pclose(vl_input); - else + else fclose(vl_input); }