diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

corrected a syntax bug

Browse Source 
git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@2120 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
This commit is contained in:
rzf 2008-02-27 20:35:33 +00:00
parent 6bf0853de8
commit 8f02f3eb60
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cplint/lpadsld.pl
View File

@ -53,7 +53,7 @@ CPUTime1 is the cpu time for performing resolution
CPUTime2 is the cpu time for elaborating the BDD
WallTime1 is the wall time for performing resolution
WallTime2 is the wall time for elaborating the BDD */
*/
s(GoalsList,Prob,CPUTime1,CPUTime2,WallTime1,WallTime2):-
solve(GoalsList,Prob,CPUTime1,CPUTime2,WallTime1,WallTime2).