From b1a386ca4aab5176566a5c30f747d669a562d8fb Mon Sep 17 00:00:00 2001 From: Michael Williamson Date: Sat, 1 Aug 2026 09:47:15 +0100 Subject: Use Box type instead of box keyword --- examples/05-inductive-data-types/src/arithmetic.hob | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples/05-inductive-data-types') diff --git a/examples/05-inductive-data-types/src/arithmetic.hob b/examples/05-inductive-data-types/src/arithmetic.hob index b1ef6e5..d3b2051 100644 --- a/examples/05-inductive-data-types/src/arithmetic.hob +++ b/examples/05-inductive-data-types/src/arithmetic.hob @@ -1,5 +1,5 @@ sum Expression { - variant Add box; + variant Box[Add]; variant Const; } -- cgit v1.2.3