From 2cface6f313966c9dd90e92f9677b90cc8115a37 Mon Sep 17 00:00:00 2001
From: Brian Huffman <huffman@galois.com>
Date: Thu, 16 Jun 2016 17:05:59 -0700
Subject: [PATCH] Parser disallows declarations like "f x # y = y".

Fixes #342.
---
 src/Cryptol/Parser.y | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Cryptol/Parser.y b/src/Cryptol/Parser.y
index 8a0dbbce..d782187b 100644
--- a/src/Cryptol/Parser.y
+++ b/src/Cryptol/Parser.y
@@ -334,7 +334,7 @@ var                        :: { LPName }
   | '(' op ')'                { $2 }
 
 apats                     :: { [Pattern PName] }
-  : ipat                   { [$1] }
+  : apat                   { [$1] }
   | apats1 apat            { $2 : $1 }
 
 apats1                   :: { [Pattern PName]  }