From 7b9f5a54e866583ef373b9e5af7918743e2f91d7 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Wed, 11 May 2016 21:05:40 -0400
Subject: [PATCH] Use "message type" in demo-*.js

---
 js/compiler/demo-bankaccount.js | 2 +-
 js/compiler/demo-filesystem.js  | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/js/compiler/demo-bankaccount.js b/js/compiler/demo-bankaccount.js
index 621b3e1..517142b 100644
--- a/js/compiler/demo-bankaccount.js
+++ b/js/compiler/demo-bankaccount.js
@@ -3,7 +3,7 @@
 var Syndicate = require('./src/main.js');
 
 assertion type account(balance);
-assertion type deposit(amount);
+message type deposit(amount);
 
 ground dataspace {
   actor {
diff --git a/js/compiler/demo-filesystem.js b/js/compiler/demo-filesystem.js
index 6e6840f..9e427ab 100644
--- a/js/compiler/demo-filesystem.js
+++ b/js/compiler/demo-filesystem.js
@@ -3,8 +3,8 @@
 var Syndicate = require('./src/main.js');
 
 assertion type file(name, content) = "file";
-assertion type saveFile(name, content) = "save";
-assertion type deleteFile(name) = "delete";
+message type saveFile(name, content) = "save";
+message type deleteFile(name) = "delete";
 
 ground dataspace {
   ///////////////////////////////////////////////////////////////////////////