From db0c96cc18aec417101e37e59fcc53d4bf647915 Mon Sep 17 00:00:00 2001
From: Noah Misch <noah@leadboat.com>
Date: Fri, 28 Jun 2024 11:17:50 -0700
Subject: [PATCH] Fix .gitignore for new injection suite.

Commit c35f419d6efbdf1a050250d84b687e6705917711 missed this.
---
 src/test/modules/injection_points/.gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/test/modules/injection_points/.gitignore b/src/test/modules/injection_points/.gitignore
index f84085454a..0de307e70a 100644
--- a/src/test/modules/injection_points/.gitignore
+++ b/src/test/modules/injection_points/.gitignore
@@ -3,3 +3,4 @@
 /output_iso/
 /results/
 /tmp_check/
+/tmp_check_iso/