X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FASTTransform%2Ftransform.cc;h=99a181fd3c859d0865e517cace073b0cc07a0018;hb=acbb13780f8613d86c017bed221abe587b22e5f1;hp=bf0457543e099af5c0464b4b302be7c4f8527b6e;hpb=1541217555724e35edaa6b98683aa9258f5d3df3;p=satune.git

diff --git a/src/ASTTransform/transform.cc b/src/ASTTransform/transform.cc
index bf04575..99a181f 100644
--- a/src/ASTTransform/transform.cc
+++ b/src/ASTTransform/transform.cc
@@ -1,16 +1,16 @@
-/* 
+/*
  * File:   transform.cc
  * Author: hamed
- * 
+ *
  * Created on August 26, 2017, 5:14 PM
  */
 
 #include "transform.h"
 
-Transform::Transform(CSolver* _solver)
+Transform::Transform(CSolver *_solver)
 {
 	solver = _solver;
 }
 
-Transform::~Transform(){
+Transform::~Transform() {
 }