From dd8a7861d45be910a3d35321349d9a17e326fe08 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Wed, 24 Oct 2018 14:29:10 +0100
Subject: [PATCH] The problem specifies 10 elves

---
 imperative/examples/santa.rkt | 2 +-
 js/compiler/demo-santa.js     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/imperative/examples/santa.rkt b/imperative/examples/santa.rkt
index 9a52ff3..518f7c0 100644
--- a/imperative/examples/santa.rkt
+++ b/imperative/examples/santa.rkt
@@ -13,7 +13,7 @@
 (assertion-struct problem-resolved (id))
 (assertion-struct deliver-toys ())
 
-(define N-ELVES 20)
+(define N-ELVES 10)
 (define ELF-GROUP-SIZE 3)
 (define N-REINDEER 9)
 
diff --git a/js/compiler/demo-santa.js b/js/compiler/demo-santa.js
index 309303e..2a3e0e5 100644
--- a/js/compiler/demo-santa.js
+++ b/js/compiler/demo-santa.js
@@ -78,7 +78,7 @@ function reindeer() {
 ground dataspace {
   Syndicate.Timer.spawnTimerDriver();
 
-  var nElves = 20;
+  var nElves = 10;
   var elfGroupSize = 3;
   var nReindeer = 9;