indenting

This commit is contained in:
Vitor Santos Costa 2016-07-31 10:15:55 -05:00
parent 9d3b46132b
commit fa26588bbf

View File

@ -294,7 +294,7 @@ static Int time_file(USES_REGS1) {
snprintf(s, 64, "%I64d", (long long int)n); snprintf(s, 64, "%I64d", (long long int)n);
mpz_init_set_str(&rop, s, 10); mpz_init_set_str(&rop, s, 10);
rc = Yap_MkBigIntTerm((void *)&rop) PASS_REGS); rc = Yap_MkBigIntTerm((void *)&rop PASS_REGS);
#else #else
rc = MkIntegerTerm(ft.dwHighDateTime); rc = MkIntegerTerm(ft.dwHighDateTime);
#endif #endif
@ -495,9 +495,9 @@ static Int is_absolute_file_name(USES_REGS1) { /* file_base_name(Stream,N) */
rc = RepAtom(at)->StrOfAE[0] == '/'; rc = RepAtom(at)->StrOfAE[0] == '/';
#endif #endif
} }
freeBuffer( buf ); freeBuffer(buf);
} }
return rc; return rc;
} }
static Int file_base_name(USES_REGS1) { /* file_base_name(Stream,N) */ static Int file_base_name(USES_REGS1) { /* file_base_name(Stream,N) */
@ -568,7 +568,7 @@ static Int file_directory_name(USES_REGS1) { /* file_directory_name(Stream,N) */
strncpy(s, c, YAP_FILENAME_MAX); strncpy(s, c, YAP_FILENAME_MAX);
while (--i) { while (--i) {
if (Yap_dir_separator((int)c[i])) if (Yap_dir_separator((int)c[i]))
break; break;
} }
s[i] = '\0'; s[i] = '\0';
#endif #endif