From d52406ccd9eb19be40b85a3a2a1b00e5052afb9b Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 17 Sep 2016 00:46:03 -0700 Subject: 3381 --- 022arithmetic.cc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to '022arithmetic.cc') diff --git a/022arithmetic.cc b/022arithmetic.cc index 760aa98d..a56d2b72 100644 --- a/022arithmetic.cc +++ b/022arithmetic.cc @@ -57,9 +57,9 @@ def main [ :(scenario add_checks_type) % Hide_errors = true; def main [ - 1:num <- add 2:boolean, 1 + 1:num <- add 2:bool, 1 ] -+error: main: 'add' requires number ingredients, but got '2:boolean' ++error: main: 'add' requires number ingredients, but got '2:bool' :(scenario add_checks_return_type) % Hide_errors = true; -- cgit 1.4.1-2-gfad0