From 617f9961069e96839bea54525a814c900e453e7d Mon Sep 17 00:00:00 2001
From: Lucas McDonald <lucasmcdonald3@gmail.com>
Date: Thu, 16 Jan 2025 10:24:04 -0800
Subject: [PATCH] m

---
 .../runtimes/rust/src/extern_definitions.rs               | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/TestModels/OrphanedShapes/runtimes/rust/src/extern_definitions.rs b/TestModels/OrphanedShapes/runtimes/rust/src/extern_definitions.rs
index aff8bcc78..52fe9aecf 100644
--- a/TestModels/OrphanedShapes/runtimes/rust/src/extern_definitions.rs
+++ b/TestModels/OrphanedShapes/runtimes/rust/src/extern_definitions.rs
@@ -17,8 +17,8 @@ pub mod internal_ExternDefinitions_Compile {
 
     impl _default {
         pub fn InitializeOrphanedStructure(
-            uninitialized_structure: &Rc<types::OrphanedStructure>,
-        ) -> Rc<types::OrphanedStructure> {
+            uninitialized_structure: &Rc<crate::simple::orphaned::internaldafny::types::OrphanedStructure>,
+        ) -> Rc<crate::simple::orphaned::internaldafny::types::OrphanedStructure> {
             let native_structure = orphaned_structure::from_dafny(uninitialized_structure.clone());
             // I don't think generated Rust objects have a "toBuilder" method.
             // Ideally, this extern would convert the Dafny structure to native,
@@ -33,7 +33,7 @@ pub mod internal_ExternDefinitions_Compile {
 
         pub fn CallNativeOrphanedResource(
             dafny_resource: &Object<dyn IOrphanedResource>,
-        ) -> Rc<Result<Rc<types::OrphanedResourceOperationOutput>, Rc<Error>>> {
+        ) -> Rc<Result<Rc<crate::simple::orphaned::internaldafny::types::OrphanedResourceOperationOutput>, Rc<Error>>> {
             let native_resource_ref =
                 crate::conversions::orphaned_resource::from_dafny(dafny_resource.clone());
             let native_resource = native_resource_ref.inner.borrow();
@@ -52,7 +52,7 @@ pub mod internal_ExternDefinitions_Compile {
                 );
 
             ::std::rc::Rc::new(
-                Result::<Rc<types::OrphanedResourceOperationOutput>, Rc<Error>>::Success {
+                Result::<Rc<crate::simple::orphaned::internaldafny::types::OrphanedResourceOperationOutput>, Rc<Error>>::Success {
                     value: dafny_output,
                 },
             )