feat(Add.ts): import AddProgramProof from AddZKprogram to enable usage in Add.ts

ymekuria · ymekuria · commit 8df361c018fa · 2025-03-10T20:46:09.000-06:00
diff --git a/templates/project-ts/src/Add.ts b/templates/project-ts/src/Add.ts
@@ -1,4 +1,5 @@
 import { Field, SmartContract, state, State, method } from 'o1js';
+import { AddProgramProof } from './AddZKprogram';
 
 /**
  * Basic Example

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`import { Field, SmartContract, state, State, method } from 'o1js';`
	`2`	`+import { AddProgramProof } from './AddZKprogram';`
`2`	`3`
`3`	`4`	`/**`
`4`	`5`	`* Basic Example`