minor incompats

This commit is contained in:
Vítor Santos Costa
2015-04-21 16:12:01 -06:00
parent 742c299672
commit e043e7595e
3 changed files with 44 additions and 25 deletions

View File

@@ -328,8 +328,8 @@ prefix_bdd_file_with_header(BDD_File_Name,VarCount,IntermediateSteps,TmpFile) :-
(
repeat,
get_byte(H2,C),
put_byte(H,C),
get_code(H2,C),
put_code(H,C),
at_end_of_stream(H2),
!
),