From a4652a544c3965a986f3440f86a567e12615cca7 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sun, 22 Jul 2018 20:23:59 +0200
Subject: avoid crash in scanner if a number is followed by a number.

Fix #627
---
 src/vhdl/scanner.adb | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/vhdl/scanner.adb b/src/vhdl/scanner.adb
index 537343af0..c52714c17 100644
--- a/src/vhdl/scanner.adb
+++ b/src/vhdl/scanner.adb
@@ -1980,7 +1980,8 @@ package body Scanner is
             --  literal.
             case Characters_Kind (Source (Pos)) is
                when Digit =>
-                  raise Internal_Error;
+                  --  Happen if d#ddd# is followed by a number.
+                  Error_Msg_Scan ("space is required between numbers");
                when Upper_Case_Letter
                  | Lower_Case_Letter =>
                   --  Could call Error_Separator, but use a clearer message
-- 
cgit v1.2.3