From b100b828e17433c8fbc16df8c8c168c49cdab815 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Tue, 24 Mar 2009 02:14:51 +0000
Subject: [PATCH] Fixed the lexer so that it will give an error about pragmas
 rather than an internal failure

---
 frontends/LexOccam.x | 1 +
 1 file changed, 1 insertion(+)

diff --git a/frontends/LexOccam.x b/frontends/LexOccam.x
index feded8a..1c99d4c 100644
--- a/frontends/LexOccam.x
+++ b/frontends/LexOccam.x
@@ -164,6 +164,7 @@ instance Show TokenType where
           TokRealLiteral s   -> quote "real literal" s
           TokPreprocessor s  -> quote "preprocessor directive" s
           IncludeFile s      -> quote "file inclusion" s
+          Pragma s           -> quote "pragma" s
           Indent             -> "indentation increase"
           Outdent            -> "indentation decrease"
           EndOfLine          -> "end of line"