diff options
Diffstat (limited to 'ice40/main.cc')
-rw-r--r-- | ice40/main.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ice40/main.cc b/ice40/main.cc index f1736fab..c975db24 100644 --- a/ice40/main.cc +++ b/ice40/main.cc @@ -391,7 +391,7 @@ int main(int argc, char *argv[]) std::vector<std::string> files = vm["run"].as<std::vector<std::string>>(); for (auto filename : files) execute_python_file(filename.c_str()); - + deinit_python(); } #endif |