From e9a2766e6c680361062269322658d7a95e558ce2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 6 Oct 2025 13:53:24 -0700
Subject: [PATCH] remove AI slop

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 a-tst.gcno | Bin 221 -> 0 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 a-tst.gcno

diff --git a/a-tst.gcno b/a-tst.gcno
deleted file mode 100644
index 3b9127650ef76a04ccbdb11e05074f005850c6be..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 221
zcmd1LOHS7^Hg=l5(9MGZ2qb`5KO;XkRlle-FE6!7zdXMvTffQ}h!_|_3K$p|O@YMg
zq5?LH*{?NTyo|lg3gqV|X6At;890Erq_{*cxuAf73CIRXf@qMz3=EEpEI<;385o=y
odB8M89$5^eo*9TidSU87e2@bmj&NmE0J1^qKmgrNh$sUC09YU#%m4rY