diff --git a/clasdis b/clasdis index 2ebe69c..bc84ef3 160000 --- a/clasdis +++ b/clasdis @@ -1 +1 @@ -Subproject commit 2ebe69c5b9f02e9178a5ac24645a6ab359b3bd4d +Subproject commit bc84ef3f95b0cf4c7e94a5bfaac17b496fe98852 diff --git a/versions.json b/versions.json index 8eeec37..dc376d4 100644 --- a/versions.json +++ b/versions.json @@ -1,5 +1,5 @@ { - "clasdis" : "v1.1", + "clasdis" : "v1.2", "claspyth" : "v1.1", "dvcsgen" : "v1.1", "genKYandOnePion" : "",