fix build error

conrad-watt · conrad-watt · commit a6d596a249c3 · 2023-09-04T02:59:02.000+01:00
diff --git a/document/core/exec/relaxed.rst b/document/core/exec/relaxed.rst
@@ -191,7 +191,7 @@ Consistency
    \frac{
      TODO
    }{
-     \vdash_{\reg} \trace \suspensionsconsistentwith \\
+     \vdash_{\reg} \trace \suspensionsconsistentwith
    }
 
 .. todo:: pull out the trace events which denote wait/wake actions as a timestamped list, check queue behaviour

Original file line number	Diff line number	Diff line change
`@@ -191,7 +191,7 @@ Consistency`
`191`	`191`	`\frac{`
`192`	`192`	`TODO`
`193`	`193`	`}{`
`194`		`- \vdash_{\reg} \trace \suspensionsconsistentwith \\`
	`194`	`+ \vdash_{\reg} \trace \suspensionsconsistentwith`
`195`	`195`	`}`
`196`	`196`
`197`	`197`	`.. todo:: pull out the trace events which denote wait/wake actions as a timestamped list, check queue behaviour`