Fix tabbing

[satune.git] / src / Interpreter / smtratinterpreter.cc

diff --git a/src/Interpreter/smtratinterpreter.cc b/src/Interpreter/smtratinterpreter.cc
index 9742bda9669dfc26a4075c2386ab76def426b5e5..2a59cc5200a190859b6ab42e2ea1861d073428ef 100644 (file)
--- a/src/Interpreter/smtratinterpreter.cc
+++ b/src/Interpreter/smtratinterpreter.cc
@@ -4,24 +4,24 @@
  * and open the template in the editor.
  */
 
-/* 
+/*
  * File:   smtratinterpreter.cc
  * Author: hamed
- * 
+ *
  * Created on February 21, 2019, 2:33 PM
  */
 
 #include "smtratinterpreter.h"
 
-SMTRatInterpreter::SMTRatInterpreter(CSolver *solver): 
+SMTRatInterpreter::SMTRatInterpreter(CSolver *solver) :
        SMTInterpreter(solver)
-{      
+{
 }
 
-void SMTRatInterpreter::compileRunCommand(char * command , size_t size){
+void SMTRatInterpreter::compileRunCommand(char *command, size_t size) {
        model_print("Calling SMTRat...\n");
        snprintf(command, size, "./run.sh timeout %u smtrat %s > %s", getTimeout(), SMTFILENAME, SMTSOLUTIONFILE);
 }
 
-SMTRatInterpreter::~SMTRatInterpreter(){
+SMTRatInterpreter::~SMTRatInterpreter() {
 }