Attempted fix

dafny-lang · Oct 10, 2024 · 15903a9 · 15903a9
1 parent 5f790e8
commit 15903a9
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 1 deletion.
diff --git a/Source/DafnyRuntime/DafnyRuntimePython/Makefile b/Source/DafnyRuntime/DafnyRuntimePython/Makefile
@@ -3,7 +3,7 @@
 DAFNY = dotnet run --project ../../Dafny --no-build --
 
 GENERATED_SYSTEM_MODULE_SOURCE=../obj/systemModulePopulator-py/System_.py
-GENERATED_SYSTEM_MODULE_TARGET=src/System_/__init__.py
+GENERATED_SYSTEM_MODULE_TARGET=System_/__init__.py
 
 VIRTUALENV = venv
 

diff --git a/...afnyRuntimePython/src/System_/__init__.py → ...me/DafnyRuntimePython/System_/__init__.py b/...afnyRuntimePython/src/System_/__init__.py → ...me/DafnyRuntimePython/System_/__init__.py
diff --git a/...DafnyRuntimePython/src/_dafny/__init__.py → ...ime/DafnyRuntimePython/_dafny/__init__.py b/...DafnyRuntimePython/src/_dafny/__init__.py → ...ime/DafnyRuntimePython/_dafny/__init__.py