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-1b | Bin 42765 -> 42755 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'apps/crenshaw2-1b') diff --git a/apps/crenshaw2-1b b/apps/crenshaw2-1b index 31b9cac1..a398a0bc 100755 Binary files a/apps/crenshaw2-1b and b/apps/crenshaw2-1b differ -- cgit 1.4.1-2-gfad0