From e34351fe7eb3d36538f8fd0cbfa3a1e7c1d6608c Mon Sep 17 00:00:00 2001
From: Hugo Ledoux <h.ledoux@tudelft.nl>
Date: Wed, 2 Feb 2022 11:40:40 +0100
Subject: [PATCH] Better example for new semantics

---
 specs/specs.bs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/specs/specs.bs b/specs/specs.bs
index 770ffb1..f646c0b 100644
--- a/specs/specs.bs
+++ b/specs/specs.bs
@@ -849,7 +849,7 @@ It is possible to define and use other semantics, but these have to start with a
 
 ```json
 {
-  "type": "+WallSurface_Inner"
+  "type": "+SupportingWall"
 }
 ```