===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/engine/init.c,v
retrieving revision 1.7
retrieving revision 1.9
diff -u -p -r1.7 -r1.9
--- OpenXM_contrib2/asir2000/engine/init.c	2000/12/22 10:03:28	1.7
+++ OpenXM_contrib2/asir2000/engine/init.c	2001/03/08 07:49:12	1.9
@@ -45,7 +45,7 @@
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *
- * $OpenXM: OpenXM_contrib2/asir2000/engine/init.c,v 1.6 2000/12/11 02:00:41 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/engine/init.c,v 1.8 2001/02/21 07:10:18 noro Exp $ 
 */
 #include "ca.h"
 #include "version.h"
@@ -242,16 +242,24 @@ void resume_timer() {
 extern int lm_lazy, up_lazy;
 extern int GC_dont_gc;
 extern int do_weyl;
+extern int dp_fcoeffs;
 
 void reset_engine() {
-	lm_lazy = 0; up_lazy = 0;
+	lm_lazy = 0;
+	up_lazy = 0;
 	do_weyl = 0;
+	dp_fcoeffs = 0;
 	GC_dont_gc = 0;
 }
 
 unsigned int get_asir_version() {
 	return ASIR_VERSION;
 }
+
+char *get_asir_distribution() {
+	return ASIR_DISTRIBUTION;
+}
+
 
 void create_error(ERR *err,unsigned int serial,char *msg)
 {