X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=tests%2Fresults%2Fmy.result;h=760aeaf2b1b8eec7311f94f57a33da99eb67bfbb;hp=8d482755a4c3ce790ab9d5a0b349e37887ce74b0;hb=881ebcb1df7335560c8715ec673980158f6ee585;hpb=fc25fccd005bca9e1dd3e9f4f3f93d002917367b

diff --git a/tests/results/my.result b/tests/results/my.result
index 8d48275..760aeaf 100644
--- a/tests/results/my.result
+++ b/tests/results/my.result
@@ -38,4 +38,7 @@ Parse Tree OK ! Parse query OK ! Compil OK ! Run OK !
     |  q₇ ----F(c)---> ↓₁q₆ ∧ ̅↓̅₁̅q̅₅  
     |  q₇ ----Cof(ø)---> ↓₁q₇ ∨ ↓₂q₇    
  
-##### Run #####
+##### RUN #####
+  # Mapping: ø
+  
+