From fba0a8f57dcbeb9eaf4db22ef4298beced346103 Mon Sep 17 00:00:00 2001
From: Scott Guest <scott.guest@runtimeverification.com>
Date: Mon, 10 Jun 2024 02:39:28 -0400
Subject: [PATCH] Add mising newline to .gitignore

---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 3b1901aa..90821521 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,4 +2,4 @@
 __pycache__/
 .coverage
 tests/riscof/work.lock
-tests/riscof/work
\ No newline at end of file
+tests/riscof/work