diff --git a/TestModels/dafny-dependencies/StandardLibrary/runtimes/python/test/internaldafny/__init__.py b/TestModels/dafny-dependencies/StandardLibrary/runtimes/python/test/internaldafny/__init__.py
new file mode 100644
index 0000000000..76a5b798a2
--- /dev/null
+++ b/TestModels/dafny-dependencies/StandardLibrary/runtimes/python/test/internaldafny/__init__.py
@@ -0,0 +1,2 @@
+# Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
+# SPDX-License-Identifier: Apache-2.0
\ No newline at end of file