From 5497090aa1e708c22cd240913a53dda32bb067aa Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Wed, 13 May 2015 10:03:26 -0700
Subject: 1363 - rename 'integer' to 'number'

..now that we support non-integers.
---
 x.mu | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'x.mu')

diff --git a/x.mu b/x.mu
index 7f80f845..15dded23 100644
--- a/x.mu
+++ b/x.mu
@@ -1,8 +1,8 @@
 # example program: add two numbers
 
 recipe main [
-  11:integer <- copy 1:literal
-  12:integer <- copy 3:literal
-  13:integer <- add 11:integer, 12:integer
+  11:number <- copy 1:literal
+  12:number <- copy 3:literal
+  13:number <- add 11:number, 12:number
   $dump-memory
 ]
-- 
cgit 1.4.1-2-gfad0