diff --git a/resources/grammar/c3.l b/resources/grammar/c3.l
index 4dfc2de78..e942eb13f 100644
--- a/resources/grammar/c3.l
+++ b/resources/grammar/c3.l
@@ -29,7 +29,7 @@ HINT        {H}(_?{H})*
 OINT        {O}(_?{O})*
 BINT        {B}(_?{B})*
 
-%x COMMENT RAW_STRING
+%x COMMENT CONTRACT_DOC RAW_STRING
 
 %{
 #include <stdio.h>
@@ -105,6 +105,12 @@ typedef struct {
 	[/]         { }
 	\n          { }
 }
+"<*"			{ BEGIN(CONTRACT_DOC); }
+<CONTRACT_DOC>{
+	"*>"        { BEGIN(INITIAL); }
+	"*"         { }
+	[^*]+       { }
+}
 \/\/.*          { }
 "any"           { return(ANY); }
 "anyfault"      { return(ANYFAULT); }