debug

smithy-lang · Aug 18, 2023 · 5e14a2c · 5e14a2c
1 parent c8f89c5
commit 5e14a2c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/TestModels/SharedMakefile.mk b/TestModels/SharedMakefile.mk
@@ -435,7 +435,7 @@ _comment_out_import_module_python:
 
 # TODO: Cut ticket to Dafny team
 _correct_escaped_python:
-	test -d runtimes/python/src/$(PYTHON_MODULE_NAME)/dafnygenerated/_dafny.py && find runtimes/python/src/$(PYTHON_MODULE_NAME)/dafnygenerated/_dafny.py -type f -exec sed -i $(SED_PARAMETER) '/.*lambda c\: c\.__escaped__.*/s/lambda c: c\.__escaped__/lambda c: CodePoint(c).__escaped__/g' {} \;
+	test -f runtimes/python/src/$(PYTHON_MODULE_NAME)/dafnygenerated/_dafny.py && find runtimes/python/src/$(PYTHON_MODULE_NAME)/dafnygenerated/_dafny.py -type f -exec sed -i $(SED_PARAMETER) '/.*lambda c\: c\.__escaped__.*/s/lambda c: c\.__escaped__/lambda c: CodePoint(c).__escaped__/g' {} \;
 
 transpile_dependencies_python: LANG=python
 transpile_dependencies_python: transpile_dependencies