summaryrefslogtreecommitdiffstats
path: root/src/sat/csat/csat_apis.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/sat/csat/csat_apis.h')
-rw-r--r--src/sat/csat/csat_apis.h8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/sat/csat/csat_apis.h b/src/sat/csat/csat_apis.h
index e187845c..d2fa770e 100644
--- a/src/sat/csat/csat_apis.h
+++ b/src/sat/csat/csat_apis.h
@@ -206,12 +206,12 @@ extern void ABC_TargetResFree( CSAT_Target_ResultT * p );
extern void CSAT_SetCaller(ABC_Manager mng, enum CSAT_CallerT caller);
-////////////////////////////////////////////////////////////////////////
-/// END OF FILE ///
-////////////////////////////////////////////////////////////////////////
-
#ifdef __cplusplus
}
#endif
#endif
+
+////////////////////////////////////////////////////////////////////////
+/// END OF FILE ///
+////////////////////////////////////////////////////////////////////////