Skip to content

Commit

Permalink
remove an unused field in SMTEncoding.Env
Browse files Browse the repository at this point in the history
  • Loading branch information
nikswamy committed Sep 5, 2024
1 parent 6d5ec04 commit 963f1c3
Show file tree
Hide file tree
Showing 7 changed files with 66 additions and 105 deletions.
50 changes: 10 additions & 40 deletions ocaml/fstar-lib/generated/FStar_SMTEncoding_Encode.ml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

16 changes: 4 additions & 12 deletions ocaml/fstar-lib/generated/FStar_SMTEncoding_EncodeTerm.ml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

68 changes: 21 additions & 47 deletions ocaml/fstar-lib/generated/FStar_SMTEncoding_Env.ml

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading

0 comments on commit 963f1c3

Please sign in to comment.