From 0305ddc35908b47cb6257945f1ebdd6108322297 Mon Sep 17 00:00:00 2001
From: Mugen87 <michael.herzog@human-interactive.org>
Date: Sat, 22 Jun 2019 15:26:44 +0200
Subject: [PATCH] Editor: Add missing lib.

---
 editor/index.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/editor/index.html b/editor/index.html
index 401411845f221a..374a39ca91122b 100644
--- a/editor/index.html
+++ b/editor/index.html
@@ -18,6 +18,7 @@
 		<script src="../examples/js/controls/EditorControls.js"></script>
 		<script src="../examples/js/controls/TransformControls.js"></script>
 
+		<script src="../examples/js/libs/chevrotain.min.js"></script>
 		<script src="../examples/js/libs/jszip.min.js"></script>
 		<script src="../examples/js/libs/inflate.min.js"></script> <!-- FBX -->