diff --git a/lib/automata-on-chain-pccs b/lib/automata-on-chain-pccs index 1f3b7c2..0cad1de 160000 --- a/lib/automata-on-chain-pccs +++ b/lib/automata-on-chain-pccs @@ -1 +1 @@ -Subproject commit 1f3b7c2a79f5308faf0405653bfe3d911442f5ca +Subproject commit 0cad1de5e3d4b81aead7f8c1577e84ee5a11b5b3