From 2d362822b5eea5f3d04a678b0097dc70ad136838 Mon Sep 17 00:00:00 2001
From: Waldo Jaquith <waldo@jaquith.org>
Date: Sat, 6 Jan 2018 20:11:59 -0500
Subject: [PATCH] Fix a PHP error

Toward #39.
---
 cron/summaries_new.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cron/summaries_new.php b/cron/summaries_new.php
index c40a41e..65c17ec 100644
--- a/cron/summaries_new.php
+++ b/cron/summaries_new.php
@@ -196,7 +196,7 @@
 		 * Look up the bill ID for this bill number.
 		 */
 		$bill_id = $bills[strtolower($summary{number})];
-		if (is_empty($bill_id))
+		if (empty($bill_id))
 		{
 			$log->put('Summary found for '. $summary['number']
 				. ', but we have no record of that bill.', 2);