diff --git a/HelloWorld/Intent/Resource.juvix b/HelloWorld/Intent/Resource.juvix index 3dd8f06..461a1a9 100644 --- a/HelloWorld/Intent/Resource.juvix +++ b/HelloWorld/Intent/Resource.juvix @@ -4,7 +4,6 @@ import Anoma open; import Applib open; import WorkshopUtils open; - logic (publicInputs : Logic.Instance) (privateInputs : Logic.Witness) : Bool := let tag := Logic.Instance.tag publicInputs;