diff options
| author | Brian Campbell | 2017-09-04 12:09:59 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-09-04 12:09:59 +0100 |
| commit | 00cf8533221d2dfa650adcd38ac53943be5bd995 (patch) | |
| tree | 21a34e1f094ecec430798020e046dd3374e6e74c /test/ocaml/string_equality/expect | |
| parent | 461f3c914b2e767ef3ddb926712845d5442475f3 (diff) | |
| parent | de506ed9f9c290796f159f2b5279589519c2a198 (diff) | |
Merge branch 'experiments' of bitbucket.org:Peter_Sewell/sail into mono-experiments
Diffstat (limited to 'test/ocaml/string_equality/expect')
| -rw-r--r-- | test/ocaml/string_equality/expect | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/ocaml/string_equality/expect b/test/ocaml/string_equality/expect new file mode 100644 index 00000000..27ba77dd --- /dev/null +++ b/test/ocaml/string_equality/expect @@ -0,0 +1 @@ +true |