From 2a2a5b1e43b6aa650a41ab1ec68d9778c14cb649 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Sun, 8 Dec 2019 13:56:46 -0800 Subject: 5804 Try to make the comments consistent with the type system we'll eventually have. --- apps/crenshaw2-1 | Bin 42218 -> 42208 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'apps/crenshaw2-1') diff --git a/apps/crenshaw2-1 b/apps/crenshaw2-1 index 7103908f..a579ee45 100755 Binary files a/apps/crenshaw2-1 and b/apps/crenshaw2-1 differ -- cgit 1.4.1-2-gfad0