Re-generate gold files

goose-lang · Jul 19, 2024 · e5229cf · e5229cf
1 parent dad7762
commit e5229cf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/internal/examples/trust_import/trust_import.gold.v b/internal/examples/trust_import/trust_import.gold.v
@@ -1,6 +1,6 @@
 (* autogenerated from github.com/goose-lang/goose/internal/examples/trust_import *)
 From Perennial.goose_lang Require Import prelude.
-From Perennial.goose_lang.trusted Require Import github_com.tchajed.goose.internal.examples.trust_import.trusted_example.
+From Perennial.goose_lang.trusted Require Import github_com.goose_lang.goose.internal.examples.trust_import.trusted_example.
 
 Section code.
 Context `{ext_ty: ext_types}.

diff --git a/internal/examples/unittest/unittest.gold.v b/internal/examples/unittest/unittest.gold.v
@@ -1,6 +1,6 @@
 (* autogenerated from github.com/goose-lang/goose/internal/examples/unittest *)
 From Perennial.goose_lang Require Import prelude.
-From Goose Require github_com.tchajed.goose.internal.examples.unittest.generic.
+From Goose Require github_com.goose_lang.goose.internal.examples.unittest.generic.
 From Goose Require github_com.tchajed.marshal.
 
 From Perennial.goose_lang Require Import ffi.disk_prelude.