dafny-lang
diff --git a/‎src/JSON/Benchmarks/BenchInterop.cs‎
Lines changed: 2 additions & 1 deletion b/‎src/JSON/Benchmarks/BenchInterop.cs‎
Lines changed: 2 additions & 1 deletion
@@ -1,3 +1,4 @@
+using System.ComponentModel.DataAnnotations;
 using System.Diagnostics;
 using System.Numerics;
 
@@ -10,7 +11,7 @@ public static byte[] ReadInput() {
     }
 
     public static void StartTimer() {
-      Chrono.Start();
+      Chrono.Restart();
     }
 
     public static void ReportTimer(Dafny.ISequence<char> label, BigInteger nBytes, uint repeats) {
Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,4 @@`
	`1`	`+using System.ComponentModel.DataAnnotations;`
`1`	`2`	`using System.Diagnostics;`
`2`	`3`	`using System.Numerics;`
`3`	`4`
`@@ -10,7 +11,7 @@ public static byte[] ReadInput() {`
`10`	`11`	`}`
`11`	`12`
`12`	`13`	`public static void StartTimer() {`
`13`		`- Chrono.Start();`
	`14`	`+ Chrono.Restart();`
`14`	`15`	`}`
`15`	`16`
`16`	`17`	`public static void ReportTimer(Dafny.ISequence<char> label, BigInteger nBytes, uint repeats) {`