fix reversion

o1-labs · Sep 18, 2024 · 70b1f24 · 70b1f24
1 parent 05cb9b4
commit 70b1f24
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/examples/zkapps/10-account-updates/src/ProofsOnlyZkApp.ts b/examples/zkapps/10-account-updates/src/ProofsOnlyZkApp.ts
@@ -42,7 +42,7 @@ export class ProofsOnlyZkApp extends SmartContract {
   }
 
   @method async add(incrementBy: Field) {
-    this.account.provedState.getAndRequireEquals();
+    this.account.provedState.getAndRequireEquals().assertTrue();
 
     const num = this.num.getAndRequireEquals();
     this.num.set(num.add(incrementBy));
@@ -51,14 +51,14 @@ export class ProofsOnlyZkApp extends SmartContract {
   }
 
   @method async incrementCalls() {
-    this.account.provedState.getAndRequireEquals();
+    this.account.provedState.getAndRequireEquals().assertTrue();
 
     const calls = this.calls.getAndRequireEquals();
     this.calls.set(calls.add(Field(1)));
   }
 
   @method async callSecondary(secondaryAddr: PublicKey) {
-    this.account.provedState.getAndRequireEquals();
+    this.account.provedState.getAndRequireEquals().assertTrue();
 
     const secondaryContract = new SecondaryZkApp(secondaryAddr);
     const num = this.num.getAndRequireEquals();