X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cmodelint.cc;h=549376a078c6c0c219f06859b183ad58d622d9c1;hb=edf2d22457c3537226a4510885c3f346bc80f143;hp=2c9580801c3c52ba0da52260907d9ce0286b92d2;hpb=44e8eabc8f7a0ab23c29037a770463d8a2de7b4a;p=satcheck.git

diff --git a/cmodelint.cc b/cmodelint.cc
index 2c95808..549376a 100644
--- 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. */