From d317cf8578b5f442e6405fb4f633bc09eb22cb9c Mon Sep 17 00:00:00 2001
From: Christian Kremitzl <christian.kremitzl@uni-bamberg.de>
Date: Sun, 7 Jun 2020 18:58:37 +0200
Subject: [PATCH] Updating onpoint.

---
 onpoint | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/onpoint b/onpoint
index 565792d..b87940c 160000
--- a/onpoint
+++ b/onpoint
@@ -1 +1 @@
-Subproject commit 565792de33619c62ac39fa509a576d21348d6b12
+Subproject commit b87940ccd5a37829fa00d7b5994d6a53dd611f7b