diff --git a/CSPM-Frontend.cabal b/CSPM-Frontend.cabal
--- a/CSPM-Frontend.cabal
+++ b/CSPM-Frontend.cabal
@@ -1,11 +1,11 @@
 Name:                CSPM-Frontend
-Version:             0.4.1.0
+Version:             0.4.1.1
 
 Synopsis:            A CSP-M parser compatible with FDR-2.83
 
 Description:
   CSP-M is the machine readable syntax of CSP (concurrent sequential processes) as used by
-  the formal methods tools FDR, Prob and ProB.
+  the formal methods tools FDR, Probe and ProB.
   This Package contains functions for lexing, parsing, renaming and pretty-printing
   CSP-M specifications.
   The parser is (almost) 100% compatible with the FDR-2.83 parser.
@@ -17,7 +17,7 @@
 Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
 Homepage:            http://www.stups.uni-duesseldorf.de/~fontaine/csp
 Stability:           unstable
-Tested-With:         GHC == 6.12.2
+Tested-With:         GHC == 6.12.3
 
 cabal-Version:       >= 1.6
 build-type: Simple
diff --git a/src/Language/CSPM/Lexer.x b/src/Language/CSPM/Lexer.x
--- a/src/Language/CSPM/Lexer.x
+++ b/src/Language/CSPM/Lexer.x
@@ -165,6 +165,7 @@
 <0> \" @string* \"              { mkL L_String }
 
 <0> "[" $large + "="            { mkL T_Refine }
+<0> "[="                        { mkL T_Refine }