From ce3b0ba7864d865e777ae27451d56fe6b63df8ab Mon Sep 17 00:00:00 2001 From: Cuihtlauac ALVARADO Date: Tue, 13 Feb 2024 09:34:51 +0100 Subject: [PATCH] Formatting --- tool/ood-gen/lib/exercise.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tool/ood-gen/lib/exercise.ml b/tool/ood-gen/lib/exercise.ml index b156593da2..682e3a5e3c 100644 --- a/tool/ood-gen/lib/exercise.ml +++ b/tool/ood-gen/lib/exercise.ml @@ -51,7 +51,7 @@ type t = { } [@@deriving stable_record ~version:metadata ~remove:[ statement; solution ] - ~modify:[ tutorials ], + ~modify:[ tutorials ], show { with_path = false }] let of_metadata m = of_metadata m ~modify_tutorials:(Option.value ~default:[])