From f3dbb09e217708dd82b0d0f0999f83b4f461563c Mon Sep 17 00:00:00 2001
From: Mattias Gaertner <nc-gaertnma@netcologne.de>
Date: Tue, 6 Feb 2018 14:22:14 +0000
Subject: [PATCH] pastojs: no warning on $M

git-svn-id: trunk@38140 -
---
 packages/pastojs/src/fppas2js.pp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/pastojs/src/fppas2js.pp b/packages/pastojs/src/fppas2js.pp
index d8b0848c4f..afacdaf106 100644
--- a/packages/pastojs/src/fppas2js.pp
+++ b/packages/pastojs/src/fppas2js.pp
@@ -871,6 +871,7 @@ const
   msAllPas2jsBoolSwitches = [
     bsAssertions,
     bsRangeChecks,
+    bsTypeInfo,
     bsOverflowChecks,
     bsHints,
     bsNotes,