Browse Source

Code tidy.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1676 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 16 years ago
parent
commit
6a0f1b733c
  1. 8
      prism/include/JDD.h

8
prism/include/JDD.h

@ -655,14 +655,6 @@ JNIEXPORT void JNICALL Java_jdd_JDD_DD_1ExportMatrixToMatlabFile
JNIEXPORT void JNICALL Java_jdd_JDD_DD_1ExportMatrixToSpyFile
(JNIEnv *, jclass, jlong, jlong, jint, jlong, jint, jint, jstring);
/*
* Class: jdd_JDD
* Method: DD_Printf
* Signature: (Ljava/lang/String;)V
*/
JNIEXPORT void JNICALL Java_jdd_JDD_DD_1Printf
(JNIEnv *, jclass, jstring);
#ifdef __cplusplus
}
#endif

Loading…
Cancel
Save