diff --git a/extern/hplans b/extern/hplans index 235a6bc..b7e5e54 160000 --- a/extern/hplans +++ b/extern/hplans @@ -1 +1 @@ -Subproject commit 235a6bc1f829ed664dc1793f7117f48a7473b1ed +Subproject commit b7e5e54e83051c985fce2e1ca162c1474fae34ff