freescale porting

[helm.git] / helm / software / matita / contribs / ng_assembly / emulator / status / status_lemmas.ma

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/status/status_lemmas.ma b/helm/software/matita/contribs/ng_assembly/emulator/status/status_lemmas.ma
index aee06a2f044b1990de0511b5d5d6c7d0305627a5..48d10ecf686945256f6530c26565e9c741c5885c 100755 (executable)
--- a/helm/software/matita/contribs/ng_assembly/emulator/status/status_lemmas.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/status/status_lemmas.ma
@@ -27,7 +27,7 @@ include "emulator/status/IP2022_status_lemmas.ma".
 include "emulator/status/status.ma".
 include "common/option_lemmas.ma".
 include "common/prod_lemmas.ma".
-include "emulator/opcodes/opcode_lemmas.ma".
+include "emulator/opcodes/pseudo_lemmas.ma".
 
 (* *********************************** *)
 (* STATUS INTERNO DEL PROCESSORE (ALU) *)