X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=lib%2FDX%2FStep%2FConsiderProposition.pm;h=0b60a82cd0252a6536e40bc0125070596ec6ee5a;hb=5b6cab1b3b47f9b24e7cde2a512270d0cad63150;hp=59d55ab420d7ef3a2bd258120bfddc785a93cf3e;hpb=c25fbf056abf91b25ef365e9be2a84eb2b132dba;p=scpubgit%2FDX.git

diff --git a/lib/DX/Step/ConsiderProposition.pm b/lib/DX/Step/ConsiderProposition.pm
index 59d55ab..0b60a82 100644
--- a/lib/DX/Step/ConsiderProposition.pm
+++ b/lib/DX/Step/ConsiderProposition.pm
@@ -9,6 +9,12 @@ has proposition => (is => 'ro', isa => Proposition, required => 1);
 sub apply_to {
   my ($self, $ss) = @_;
   my $hyp = $ss->current_hypothesis;
+  trace consider => [
+    statement => [
+      [ symbol => 'consider' ],
+      @{$self->proposition->for_deparse->[1]},
+    ],
+  ];
   if (my $step = $self->proposition->resolve_for($hyp->scope)) {
     return $ss->but(next_step => $step);
   }