Print in higher precision repl_ex timestep.
authorRossen Apostolov <rossen@kth.se>
Tue, 10 Jun 2014 13:44:36 +0000 (15:44 +0200)
committerRossen Apostolov <rossen@kth.se>
Tue, 10 Jun 2014 13:44:36 +0000 (15:44 +0200)
commit02d4d55dce7d2a7c02ac5724fe36c1b1222cb9fd
treea363141deb2b1b33550bfe90a1372079336d5c68
parent000c6b9e5d94d9e2c5efb592cfb038d9775e0c21
Print in higher precision repl_ex timestep.

Fixes #1486.

Change-Id: Ibe5bcee18f761bea96e1b4a432774a4472a40f47
src/kernel/repl_ex.c