From a20cd77d251192b8912587de17ebb87fa3cfb053 Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@gmail.com>
Date: Fri, 23 Aug 2013 13:17:45 +0000
Subject: nonExist now does the expected thing

---
 src/runtime/c/pgf/linearizer.c | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/runtime/c/pgf/linearizer.c')

diff --git a/src/runtime/c/pgf/linearizer.c b/src/runtime/c/pgf/linearizer.c
index c5aac7f4f..b110f3a78 100644
--- a/src/runtime/c/pgf/linearizer.c
+++ b/src/runtime/c/pgf/linearizer.c
@@ -532,6 +532,10 @@ pgf_lzr_linearize(PgfConcr* concr, PgfCncTree ctree, size_t lin_idx, PgfLinFuncs
 				}
 				break;
 			}
+			case PGF_SYMBOL_NE: {
+				// Nothing to be done here
+				break;
+			}
 			default:
 				gu_impossible(); 
 			}
-- 
cgit v1.2.3