From f0488ac9050e6dc537b00810b482ef2039cb1fcb Mon Sep 17 00:00:00 2001
From: Naveen Michaud-Agrawal <naveen.michaudagrawal@gmail.com>
Date: Tue, 10 Oct 2023 01:16:10 +0000
Subject: Add back tag is a tag statement

---
 virtual-programs/tags-and-calibration.folk | 1 +
 1 file changed, 1 insertion(+)

(limited to 'virtual-programs')

diff --git a/virtual-programs/tags-and-calibration.folk b/virtual-programs/tags-and-calibration.folk
index f6aeb812..ce368f00 100644
--- a/virtual-programs/tags-and-calibration.folk
+++ b/virtual-programs/tags-and-calibration.folk
@@ -139,4 +139,5 @@ When (non-capturing) tag /tag/ has corners /corners/ {
 
     Claim $tag has region $region
     Claim tag $tag has a program
+    Claim tag $tag is a tag
 }
-- 
cgit v1.2.3