From 001f490708ba0ef02163d9c1877edc129ec8c16b Mon Sep 17 00:00:00 2001 From: Lucas McDonald Date: Fri, 18 Aug 2023 14:38:58 -0700 Subject: [PATCH] debug --- TestModels/SharedMakefile.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/TestModels/SharedMakefile.mk b/TestModels/SharedMakefile.mk index 4eb27838e..f2fa57c92 100644 --- a/TestModels/SharedMakefile.mk +++ b/TestModels/SharedMakefile.mk @@ -428,7 +428,7 @@ _comment_out_import_module_python: # For a Dafny-generated module X, comment out `import module_` # This import results in circular dependencies find runtimes/python/src/$(PYTHON_MODULE_NAME)/dafnygenerated -type f -exec sed -i $(SED_PARAMETER) '/import module\_/s/^/# /g' {} \; -# rm runtimes/python/src/$(PYTHON_MODULE_NAME)/dafnygenerated/module_.py + rm runtimes/python/src/$(PYTHON_MODULE_NAME)/dafnygenerated/module_.py find runtimes/python/test/dafnygenerated -type f -exec sed -i $(SED_PARAMETER) '/import module\_/s/^/# /g' {} \; find runtimes/python/test/dafnygenerated/test.py -type f -exec sed -i $(SED_PARAMETER) '/# import module\_/s/^# //g' {} \;