From 377b00b045289a3fa8e88d4b2f129d797c687e2f Mon Sep 17 00:00:00 2001
From: Kartik Agaram <vc@akkartik.com>
Date: Sun, 17 Jun 2018 19:53:52 -0700
Subject: 4265

Standardize use of type ingredients some more.
---
 022arithmetic.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to '022arithmetic.cc')

diff --git a/022arithmetic.cc b/022arithmetic.cc
index 530541aa..79a314bb 100644
--- a/022arithmetic.cc
+++ b/022arithmetic.cc
@@ -64,9 +64,9 @@ def main [
 :(scenario add_checks_return_type)
 % Hide_errors = true;
 def main [
-  1:address:num <- add 2, 2
+  1:&:num <- add 2, 2
 ]
-+error: main: 'add' should yield a number, but got '1:address:num'
++error: main: 'add' should yield a number, but got '1:&:num'
 
 :(before "End Primitive Recipe Declarations")
 SUBTRACT,
-- 
cgit 1.4.1-2-gfad0