From e31edd5a95f354be263a51a96652947e834da761 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 18 Dec 2009 11:14:46 +0000 Subject: [PATCH] Code tidy. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1660 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/jdd/JDD.java | 2 -- 1 file changed, 2 deletions(-) diff --git a/prism/src/jdd/JDD.java b/prism/src/jdd/JDD.java index 771932de..e754ec2e 100644 --- a/prism/src/jdd/JDD.java +++ b/prism/src/jdd/JDD.java @@ -115,8 +115,6 @@ public class JDD private static native void DD_ExportMatrixToPPFile(long dd, long rvars, int num_rvars, long cvars, int num_cvars, String filename); private static native void DD_ExportMatrixToMatlabFile(long dd, long rvars, int num_rvars, long cvars, int num_cvars, String name, String filename); private static native void DD_ExportMatrixToSpyFile(long dd, long rvars, int num_rvars, long cvars, int num_cvars, int depth, String filename); - // misc - private static native void DD_Printf(String text); static {