From b2ff91614a7f1c7dd54a43bbfe88bbb6694b0a71 Mon Sep 17 00:00:00 2001 From: Estevan Castilho Date: Sat, 24 Oct 2026 01:50:35 +0000 Subject: Formatting --- test/integration/Registration.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'test/integration/Registration.ml') 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 -- cgit v1.2.3