Add semicolon

Aaron1011 · RalfJung · web-flow · commit c2f681f005a0 · 2019-08-04T10:13:29.000-04:00
Co-Authored-By: Ralf Jung &lt;post@ralfj.de&gt;
diff --git a/src/helpers.rs b/src/helpers.rs
@@ -87,7 +87,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
         // any additional checks - it's okay if the pointer is invalid,
         // since we wouldn't actually be writing to it.
         if len == 0 {
-            return Ok(())
+            return Ok(());
         }
         let this = self.eval_context_mut();
 

Original file line number	Diff line number	Diff line change
`@@ -87,7 +87,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx`
`87`	`87`	`// any additional checks - it's okay if the pointer is invalid,`
`88`	`88`	`// since we wouldn't actually be writing to it.`
`89`	`89`	`if len == 0 {`
`90`		`- return Ok(())`
	`90`	`+ return Ok(());`
`91`	`91`	`}`
`92`	`92`	`let this = self.eval_context_mut();`
`93`	`93`