From 589925ce3e86581e6cb186625c611e43f734d9b9 Mon Sep 17 00:00:00 2001
From: Parker Burnett <jpburnett@gwu.edu>
Date: Wed, 5 Oct 2022 10:38:42 -0700
Subject: [PATCH] Update permuter_settings.toml (#1107)

Noticed this was missing
---
 tools/permuter_settings.toml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tools/permuter_settings.toml b/tools/permuter_settings.toml
index bf61be341..380acbfc2 100644
--- a/tools/permuter_settings.toml
+++ b/tools/permuter_settings.toml
@@ -1,3 +1,5 @@
+compiler_type = "ido"
+
 [preserve_macros]
 "g[DS]P.*" = "void"
 "gs[DS]P.*" = "void"