From 98a45f7229d0ef6db5f123f7a2d13b35cd62ac71 Mon Sep 17 00:00:00 2001 From: Daniel Lemire Date: Fri, 31 Oct 2025 18:48:49 -0400 Subject: [PATCH] fix --- doc/compile_time.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/compile_time.md b/doc/compile_time.md index 85712e3d1..59cf99554 100644 --- a/doc/compile_time.md +++ b/doc/compile_time.md @@ -125,7 +125,9 @@ We have a few limitations which trigger compile-time errors if violated. { "name": "Bob", "age": 25 }, { "name": "Charlie", "age": 35 } ] + ``` but the following is not: + ```json [ { "name": "Alice", "age": 30 }, "Just a string",