From e098bcb42b56fd1ac59d60a3ef363acaf774c673 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur@Arturs-MacBook-Pro.local>
Date: Sat, 13 Oct 2018 21:03:27 +0100
Subject: [PATCH] use_ -> make_

---
 rsin_driver.cc | 4 ++--
 rsin_driver.hh | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/rsin_driver.cc b/rsin_driver.cc
index 4cb70b8..374f9b7 100644
--- a/rsin_driver.cc
+++ b/rsin_driver.cc
@@ -22,7 +22,7 @@ void rsin_driver::initialise(void)
   opts = nullptr;
   use_ctx_aut = false;
   use_concentrations = false;
-  use_progressive = false;
+  make_progressive = false;
 }
 
 rsin_driver::~rsin_driver ()
@@ -109,7 +109,7 @@ void rsin_driver::useContextAutomaton(void)
 
 void rsin_driver::makeProgressive(void)
 {
-  use_progressive = true;
+  make_progressive = true;
   if (use_ctx_aut)
   {
     getReactionSystem()->ctxAutEnableProgressiveClosure();
diff --git a/rsin_driver.hh b/rsin_driver.hh
index a0c0c8a..7661ff9 100644
--- a/rsin_driver.hh
+++ b/rsin_driver.hh
@@ -35,7 +35,7 @@ class rsin_driver
     // options in configuration file:
     bool use_ctx_aut;
     bool use_concentrations;
-    bool use_progressive;
+    bool make_progressive;
 
     // Handling the scanner
     void scan_begin();