From 5e14a2c646f5e1e9a5512e1878d851550b4513c8 Mon Sep 17 00:00:00 2001
From: Lucas McDonald <lucmcdon@amazon.com>
Date: Fri, 18 Aug 2023 15:22:06 -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 915bd3362..188554f0a 100644
--- 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