diff options
Diffstat (limited to 'test/integration/Registration.ml')
| -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 |