From 0f6ec6e6f5af48bfc9ccae0d3895dafc30361834 Mon Sep 17 00:00:00 2001 From: Zeno Rogue Date: Sat, 6 Jun 2020 18:42:43 +0200 Subject: [PATCH] arb:: do not double sublines --- arbitrile.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arbitrile.cpp b/arbitrile.cpp index ccb2ac42..331426ce 100644 --- a/arbitrile.cpp +++ b/arbitrile.cpp @@ -402,7 +402,7 @@ EX void load(const string& fname, bool after_sliding IS(false)) { ep.force_eat(")"); for(auto& sh: c.shapes) { for(int i=0; i