Try to fix build

mit-pdos · Feb 7, 2025 · bf9e5c6 · bf9e5c6
1 parent ed4e981
commit bf9e5c6
Show file tree

Hide file tree

Showing 54 changed files with 746 additions and 1,124 deletions.
diff --git a/new/generatedproof/bytes.v b/new/generatedproof/bytes.v
diff --git a/new/generatedproof/context.v b/new/generatedproof/context.v
diff --git a/new/generatedproof/crypto/rand.v b/new/generatedproof/crypto/rand.v
diff --git a/new/generatedproof/errors.v b/new/generatedproof/errors.v
diff --git a/new/generatedproof/fmt.v b/new/generatedproof/fmt.v
diff --git a/new/generatedproof/github_com/goose_lang/goose/testdata/examples/append_log.v b/new/generatedproof/github_com/goose_lang/goose/testdata/examples/append_log.v