diff --git a/src/main/java/faulttrees/Fault.java b/src/main/java/faulttrees/Fault.java
index 2333388cfb041ada32788bba2b606c5c602364a0..03050bf4e30b09fa2cb63786b69bdcb97965901e 100755
--- a/src/main/java/faulttrees/Fault.java
+++ b/src/main/java/faulttrees/Fault.java
@@ -54,6 +54,7 @@ public class Fault extends FaultElement {
     private ArrayList<FaultNode> destinationNodes;
     private boolean isRoot;
     private boolean isEnabled = true;
+    private double probability;
 
 
     public Fault(String _name, Object _referenceObject) {
@@ -81,6 +82,10 @@ public class Fault extends FaultElement {
         originNode = _node;
     }
 
+    public void setProbability(double probability) {
+        this.probability = probability;
+    }
+
     public void addDestinationNode(FaultNode _node) {
         destinationNodes.add(_node);
     }