From 4808d51a97d07e4e97705e59b4da77d334d0d75c Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 2 Nov 2010 15:18:31 +0000 Subject: [PATCH] Bug fix in export DD to Dot file. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2219 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- cudd/cudd/cuddExport.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cudd/cudd/cuddExport.c b/cudd/cudd/cuddExport.c index bfd23c1f..21a76b7e 100644 --- a/cudd/cudd/cuddExport.c +++ b/cudd/cudd/cuddExport.c @@ -545,7 +545,7 @@ Cudd_DumpDot( if (st_is_member(visited,(char *) scan)) { /* print label (blank) */ retval = fprintf(fp, - "\"%lx\" [label = \"\"];\n", + "\"%p\" [label = \"\"];\n", (unsigned long) ((mask & (long) scan) / sizeof(DdNode))); if (retval == EOF) goto failure;