Changes between Version 18 and Version 19 of C Interface

Timestamp:

06/24/10 11:17:53 (16 years ago)

Author:

Stephen Siegel

Comment:

--

C Interface

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