Changes between Version 17 and Version 18 of C Interface

Timestamp:

06/24/10 11:15:55 (16 years ago)

Author:

Stephen Siegel

Comment:

--

C Interface

@@ -148 +148 @@
 To combine an input with assumption:
 {{{
-#pragma input assume N>0 && N*N<M
+#pragma TASS input assume N>0 && N*N<M
 int N;
 }}}