diff --git a/prism/cudd b/prism/cudd
deleted file mode 120000
index fba6afcf..00000000
--- a/prism/cudd
+++ /dev/null
@@ -1 +0,0 @@
-../cudd
\ No newline at end of file
diff --git a/prism/examples b/prism/examples
deleted file mode 120000
index b20f1089..00000000
--- a/prism/examples
+++ /dev/null
@@ -1 +0,0 @@
-../prism-examples
\ No newline at end of file