proof/deploy_contract: Syntax fix.

proof/deploy_contract.zk

@@ -19,7 +19,7 @@ circuit "DeployContract" {
 	constrain_instance(signature_y);
 
 	# Derive the contract address from the public key's coordinates
-	address = poseidon_hash(signature_x, signature_y)
+	address = poseidon_hash(signature_x, signature_y);
 	constrain_instance(address);
 
 	# Constrain the byte size of the deployed binaries

src/zkas/compiler.rs

@@ -81,6 +81,7 @@ impl Compiler {
                 StatementType::Assign => tmp_stack.push(&i.lhs.as_ref().unwrap().name),
                 // In case of a simple call, we don't append anything to the stack
                 StatementType::Call => {}
+                // TODO: FIXME: unreachable is reached with missing semicolons in the code
                 _ => unreachable!(),
             }