fix spacing with make tabbing

[satcheck.git] / cmodelint.cc

diff --git a/cmodelint.cc b/cmodelint.cc
index 2c9580801c3c52ba0da52260907d9ce0286b92d2..549376a078c6c0c219f06859b183ad58d622d9c1 100644 (file)
--- a/cmodelint.cc
+++ b/cmodelint.cc
@@ -13,7 +13,7 @@
 
 /** Performs a read action.*/
 uint64_t model_read_action(void * obj, memory_order ord) {
-  return -1;
+       return -1;
 }
 
 /** Performs a write action.*/
@@ -30,7 +30,7 @@ void model_init_action(void * obj, uint64_t val) {
  * a write.
  */
 uint64_t model_rmwr_action(void *obj, memory_order ord) {
-  return -1;
+       return -1;
 }
 
 /** Performs the write part of a RMW action. */