diff --git a/pto_isa.pin b/pto_isa.pin
index d1046cebd7..4e38745ad7 100644
--- a/pto_isa.pin
+++ b/pto_isa.pin
@@ -1 +1 @@
-c0d7148e95ef73bd12a73165fdce4b723a3b7e72
+3eb8e99addabfc70eb5700985baf253470a24aae