From 86ef303343c79773da0b6af3978432632fcce977 Mon Sep 17 00:00:00 2001
From: Mathias Soeken <mathias.soeken@epfl.ch>
Date: Fri, 1 Dec 2017 10:41:10 +0100
Subject: [PATCH] ABC dependency.

---
 lib/abc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/abc b/lib/abc
index efb0c572..c02bde61 160000
--- a/lib/abc
+++ b/lib/abc
@@ -1 +1 @@
-Subproject commit efb0c5721a786f6e3a0351d71b483968ef61dd3d
+Subproject commit c02bde6181779483e3daca1e5c01ab91ce3381fe