Update src/chc.rs

coeff-aij · coord-e · web-flow · commit f354b5d67135 · 2026-01-20T20:24:51.000+09:00
Co-authored-by: Hiromi Ogawa &lt;me@coord-e.com&gt;
diff --git a/src/chc.rs b/src/chc.rs
@@ -1606,7 +1606,7 @@ impl Clause {
     }
 }
 
-/// A command specified using #![thrust::define_raw()]
+/// A command specified using `thrust::raw_command` attribute
 ///
 /// Those will be directly inserted into the generated SMT-LIB2 file.
 #[derive(Debug, Clone)]

Original file line number	Diff line number	Diff line change
`@@ -1606,7 +1606,7 @@ impl Clause {`
`1606`	`1606`	`}`
`1607`	`1607`	`}`
`1608`	`1608`
`1609`		`-/// A command specified using #![thrust::define_raw()]`
	`1609`	+/// A command specified using `thrust::raw_command` attribute
`1610`	`1610`	`///`
`1611`	`1611`	`/// Those will be directly inserted into the generated SMT-LIB2 file.`
`1612`	`1612`	`#[derive(Debug, Clone)]`