Open aig frontend as binary file

This commit is contained in:
Miodrag Milanovic
2019-09-29 13:22:11 +02:00
parent ce0631c371
commit 3f70c1fd26
4 changed files with 5 additions and 5 deletions
+1 -1
View File
@@ -1056,7 +1056,7 @@ struct AigerFrontend : public Frontend {
}
break;
}
extra_args(f, filename, args, argidx);
extra_args(f, filename, args, argidx, true);
if (module_name.empty()) {
#ifdef _WIN32