merchant

commit 7edf1824f7098b7fd991bca12cac063a0f25b341
parent 2a270be0497b88c95936bfcd09b5ecd83141b94c
Author: Marcello Stanisci <marcello.stanisci@inria.fr>
Date:   Fri, 18 Dec 2015 17:23:11 +0100

missing ;

Diffstat:
M
src/frontend/pay.php
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/frontend/pay.php b/src/frontend/pay.php
@@ -106,7 +106,7 @@ if ($status_code != 200)
     gotten from the backend (which is forwarding 'as is'
     the error gotten from the mint) */
   echo "Error came from the backend\n";
-  echo "json_encode ($new_deposit_permission)"
+  echo "json_encode ($new_deposit_permission)";
   echo "\n";
   echo $resp->body->toString ();
 }