Fixed compilation error for benchmark_dwf

Some parts were assuming floating point precision
This commit is contained in:
Guido Cossu committed 2016-06-20 12:30:51 +01:00
1 parent 87418e7df1
commit 5e02392f9c
10 files changed
+10 -9

No files matched your search

View File
Whitespace-only changes.