1 files changed, 1 insertions, 0 deletions
diff --git a/conf/cf-lex.l b/conf/cf-lex.l
index dcd54b81..cee0e63e 100644
--- a/conf/cf-lex.l
+++ b/conf/cf-lex.l
@@ -380,6 +380,7 @@ else: {
 \>\= return GEQ;
 \&\& return AND;
 \|\| return OR;
+\-\> return IMP;
 
 \[\= return PO;
 \=\] return PC;