fix compiler warning in scoped_timer.cpp on linux 2 secs in nanosec representation still fit in 31 bits, so no need for ULL
fix compiler warning in scoped_timer.cpp on linux
2 secs in nanosec representation still fit in 31 bits, so no need for ULL

Signed-off-by: Nuno Lopes <cb3a713351b386ac31772a65bfacab0d57451a15@microsoft.com>

kyledewey/z3,kyledewey/z3,kyledewey/z3,mschlaipfer/z3,seahorn/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,mschlaipfer/z3,kyledewey/z3,mschlaipfer/z3,mschlaipfer/z3,seahorn/z3,seahorn/z3,seahorn/z3,seahorn/z3,mschlaipfer/z3,mschlaipfer/z3