fix #2647

Signed-off-by: Nikolaj Bjorner <[email protected]>

Author: NikolajBjorner

scripts/nightly.yaml

@@ -95,17 +95,17 @@ jobs:
        cd scripts 
        python mk_nuget_task.py ../tmp $(z3Version) $(Build.SourceVersion)
        cd ..
-  - task: NuGetCommand@2
-    inputs:
-      command: pack
-      packagesToPack: scripts/out/*.nuspec
-      packDestination: $(Build.ArtifactStagingDirectory)
-  - task: NuGetCommand@2
-    inputs: 
-      command: 'pack'
-      packagesToPack: scripts/out/*.nuspec
-      includesymbols: true
-      packDestination: $(Build.ArtifactStagingDirectory)
+#  - task: NuGetCommand@2
+#    inputs:
+#      command: pack
+#      packagesToPack: scripts/out/*.nuspec
+#      packDestination: $(Build.ArtifactStagingDirectory)
+#  - task: NuGetCommand@2
+#    inputs: 
+#      command: 'pack'
+#      packagesToPack: scripts/out/*.nuspec
+#      includesymbols: true
+#      packDestination: $(Build.ArtifactStagingDirectory)
 
 # Not available as a task?
 #  - script: | 

src/cmd_context/cmd_context.cpp

@@ -2184,7 +2184,7 @@ void cmd_context::dt_eh::operator()(sort * dt, pdecl* pd) {
             m_owner.insert(a);
         }
     }
-    if (!m_owner.m_scopes.empty()) {
+    if (!m_owner.m_scopes.empty() && !m_owner.m_global_decls) {
         m_owner.pm().inc_ref(pd);
         m_owner.m_psort_inst_stack.push_back(pd);
     }