aboutsummaryrefslogtreecommitdiff
path: root/backendC/CleanCompilerSources/statesgen.c
diff options
context:
space:
mode:
Diffstat (limited to 'backendC/CleanCompilerSources/statesgen.c')
-rw-r--r--backendC/CleanCompilerSources/statesgen.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/backendC/CleanCompilerSources/statesgen.c b/backendC/CleanCompilerSources/statesgen.c
index cff7e65..c8a6cc9 100644
--- a/backendC/CleanCompilerSources/statesgen.c
+++ b/backendC/CleanCompilerSources/statesgen.c
@@ -2031,7 +2031,7 @@ static Bool NodeInAStrictContext (Node node,StateS demanded_state,int local_scop
if (definition_state_p!=NULL){
#ifdef FASTER_STRICT_AND_OR
- if (sdef->sdef_module==DeltaBId->ident_name && node->node_arity==2){
+ if (sdef->sdef_module==StdBoolId->ident_name && node->node_arity==2){
if (sdef->sdef_ident==AndId){
ArgP arg1,arg2,false_arg;
NodeP false_node;