m

smithy-lang · Aug 21, 2024 · a58f9e9 · a58f9e9
1 parent a311d9d
commit a58f9e9
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/TestModels/MultipleModels/dafny/DependencyProject/src/Index.dfy b/TestModels/MultipleModels/dafny/DependencyProject/src/Index.dfy
@@ -2,7 +2,7 @@
 // SPDX-License-Identifier: Apache-2.0
 include "SimpleMultiplemodelsDependencyprojectImpl.dfy"
 
-module {:extern "simple.multiplemodels.dependencyproject.internaldafny" } DependencyProject refines AbstractSimpleMultiplemodelsDependencyprojectService {
+module DependencyProject refines AbstractSimpleMultiplemodelsDependencyprojectService {
     import Operations = SimpleMultiplemodelsDependencyprojectImpl
 
     function method DefaultDependencyProjectConfig(): DependencyProjectConfig {

diff --git a/...leModels/dafny/DependencyProject/src/WrappedSimpleMultiplemodelsDependencyprojectImpl.dfy b/...leModels/dafny/DependencyProject/src/WrappedSimpleMultiplemodelsDependencyprojectImpl.dfy
@@ -2,7 +2,7 @@
 // SPDX-License-Identifier: Apache-2.0
 include "../Model/SimpleMultiplemodelsDependencyprojectTypesWrapped.dfy"
 
-module {:extern "simple.multiplemodels.dependencyproject.internaldafny.wrapped"} WrappedSimpleMultiplemodelsDependencyprojectService refines WrappedAbstractSimpleMultiplemodelsDependencyprojectService {
+module WrappedSimpleMultiplemodelsDependencyprojectService refines WrappedAbstractSimpleMultiplemodelsDependencyprojectService {
     import WrappedService = DependencyProject
     function method WrappedDefaultDependencyProjectConfig(): DependencyProjectConfig {
         DependencyProjectConfig

diff --git a/TestModels/MultipleModels/dafny/PrimaryProject/src/Index.dfy b/TestModels/MultipleModels/dafny/PrimaryProject/src/Index.dfy
@@ -2,7 +2,7 @@
 // SPDX-License-Identifier: Apache-2.0
 include "SimpleMultiplemodelsPrimaryprojectImpl.dfy"
 
-module {:extern "simple.multiplemodels.primaryproject.internaldafny" } PrimaryProject refines AbstractSimpleMultiplemodelsPrimaryprojectService {
+module PrimaryProject refines AbstractSimpleMultiplemodelsPrimaryprojectService {
     import Operations = SimpleMultiplemodelsPrimaryprojectImpl
 
     function method DefaultPrimaryProjectConfig(): PrimaryProjectConfig {

diff --git a/...MultipleModels/dafny/PrimaryProject/src/WrappedSimpleMultiplemodelsPrimaryprojectImpl.dfy b/...MultipleModels/dafny/PrimaryProject/src/WrappedSimpleMultiplemodelsPrimaryprojectImpl.dfy
@@ -2,7 +2,7 @@
 // SPDX-License-Identifier: Apache-2.0
 include "../Model/SimpleMultiplemodelsPrimaryprojectTypesWrapped.dfy"
 
-module {:extern "simple.multiplemodels.primaryproject.internaldafny.wrapped"} WrappedSimpleMultiplemodelsPrimaryprojectService refines WrappedAbstractSimpleMultiplemodelsPrimaryprojectService {
+module WrappedSimpleMultiplemodelsPrimaryprojectService refines WrappedAbstractSimpleMultiplemodelsPrimaryprojectService {
     import WrappedService = PrimaryProject
     function method WrappedDefaultPrimaryProjectConfig(): PrimaryProjectConfig {
         PrimaryProjectConfig