diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-10-24 01:50:35 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-10-24 01:50:35 +0000 |
| commit | b2ff91614a7f1c7dd54a43bbfe88bbb6694b0a71 (patch) | |
| tree | 38617ef0008e34fcaa95a2c32ec721ced1bb1a4f /test/integration | |
| parent | 5a6af8a74895b548ed39649aef4a09fb53b4dbbc (diff) | |
| download | RNT-b2ff91614a7f1c7dd54a43bbfe88bbb6694b0a71.tar.gz RNT-b2ff91614a7f1c7dd54a43bbfe88bbb6694b0a71.zip | |
Formatting
Diffstat (limited to 'test/integration')
| -rw-r--r-- | test/integration/Registration.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/test/integration/Registration.ml b/test/integration/Registration.ml index 6f308cd..7c7cfba 100644 --- a/test/integration/Registration.ml +++ b/test/integration/Registration.ml @@ -59,8 +59,7 @@ module Make (S : Abstract.Storage.STORAGE) (C : Helpers.Storage.CONFIGURATOR) = end |> Helpers.condition_as_failure in - check (list string) "the stored program reads the book it was defined over" ["title"] - attributes; + check (list string) "the stored program reads the book it was defined over" ["title"] attributes; check (list Helpers.value) "read through the branch, the stored program runs" [Concepts.Value.String "SQL and Relational Theory"] shelved |