diff options
Diffstat (limited to 'src/proof/abs/absPth.c')
| -rw-r--r-- | src/proof/abs/absPth.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/abs/absPth.c b/src/proof/abs/absPth.c index bd3f2dcb..f04a20d1 100644 --- a/src/proof/abs/absPth.c +++ b/src/proof/abs/absPth.c @@ -194,7 +194,7 @@ int Gia_GlaProveCheck( int fVerbose ) return 1; } -#endif +#endif // pthreads are used //////////////////////////////////////////////////////////////////////// /// END OF FILE /// |