diff --git a/parse.y b/parse.y
index 47dd01550..6a0b6d03d 100644
--- a/parse.y
+++ b/parse.y
@@ -3267,6 +3267,11 @@ specify_item
 		  }
 		  pform_module_specify_path(tmp);
 		}
+	| K_ifnone specify_edge_path_decl ';'
+		{ yyerror(@1, "Sorry: ifnone with an edge-sensitive path is "
+		              "not supported.");
+		  yyerrok;
+		}
 	| K_Sfullskew '(' spec_reference_event ',' spec_reference_event
 	  ',' delay_value ',' delay_value spec_notifier_opt ')' ';'
 		{ delete $7;