diff options
author | Jason Gross <jagro@google.com> | 2018-06-28 16:02:00 -0400 |
---|---|---|
committer | Jason Gross <jasongross9@gmail.com> | 2018-07-03 19:28:55 -0400 |
commit | 243fab24ba4f48d742ac6cb5998a0df0ef8c188d (patch) | |
tree | 5e3585f11bc904d1d59e75f5c0e612e27b00f607 /src/Experiments/NewPipeline/StandaloneOCamlMain.v | |
parent | 811bd8821d8e79b429353da5e4b5dfda337509c8 (diff) |
Don't subst01 in square
Diffstat (limited to 'src/Experiments/NewPipeline/StandaloneOCamlMain.v')
0 files changed, 0 insertions, 0 deletions