1 files changed, 2 insertions, 2 deletions
diff --git a/matching.c b/matching.c
index 67129f7..9078f6c 100644
--- a/matching.c
+++ b/matching.c
@@ -135,7 +135,7 @@ int matching_with_scratch(void *scratchv,
 
         layer = 0;
         while (1) {
-            int found_free_R_vertex = false;
+            bool found_free_R_vertex = false;
 
             Rqs = 0;
             for (i = 0; i < Lqs; i++) {
@@ -685,7 +685,7 @@ int main(int argc, char **argv)
 {
     static const char stdin_identifier[] = "<standard input>";
     const char *infile = NULL;
-    int doing_opts = true;
+    bool doing_opts = true;
     enum { USER_INPUT, AUTOTEST } mode = USER_INPUT;
 
     while (--argc > 0) {