From 4f9a7bc2726885378f290a5b081dc5e0de0b9638 Mon Sep 17 00:00:00 2001
From: Stefano Pigozzi <256895@studenti.unimore.it>
Date: Wed, 21 Apr 2021 02:55:57 +0200
Subject: [PATCH] =?UTF-8?q?=F0=9F=90=9B=20Fix=20error=20in=20BoxWithHeader?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 code/frontend/src/components/BoxWithHeader.js | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/code/frontend/src/components/BoxWithHeader.js b/code/frontend/src/components/BoxWithHeader.js
index 3bc1783..65460e7 100644
--- a/code/frontend/src/components/BoxWithHeader.js
+++ b/code/frontend/src/components/BoxWithHeader.js
@@ -18,7 +18,16 @@ export default function BoxWithHeader({ header, body, children, className, ...pr
         }
     }
 
+    if(header === undefined) {
+        header = {}
+    }
+
+    if(body === undefined) {
+        body = {}
+    }
+
     if(children) {
+
         if(body.children) {
             throw new Error("If directly passing `children` to BoxWithHeader, body.children should not be set.")
         }