Fix suggested in kframework/X86-64-semantics#5

sdasgup3 · Feb 20, 2019 · 8e22e6f · 8e22e6f
1 parent 42cefbe
commit 8e22e6f
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 4 deletions.
diff --git a/x86-semantics/semantics/common/library/common-c-library-configuration.k b/x86-semantics/semantics/common/library/common-c-library-configuration.k
@@ -19,7 +19,8 @@ module COMMON-C-LIBRARY-CONFIGURATION
       <open-files> .Set </open-files>
 
       <files>
-        <file multiplicity="*">
+        //<file multiplicity="*">
+        <file multiplicity="*" type="Map">
           <fid> .K </fid>
           <uri> .K </uri>
           <pos> 0 </pos>

diff --git a/x86-semantics/semantics/common/library/common-c-library-stdlib.k b/x86-semantics/semantics/common/library/common-c-library-stdlib.k
@@ -20,9 +20,10 @@ module COMMON-C-LIBRARY-STDLIB
 
   rule stdlib_exit(I::Int) => exitExecution(I)
 
-  rule stdlib_abort ~> _
-       =>
-       writeFD(#stdout, "Aborted\n") ~> flush(#stdout) ~> asCInt(134)
+  //rule stdlib_abort ~> _
+  //     =>
+  //     writeFD(#stdout, "Aborted\n") ~> flush(#stdout) ~> asCInt(134)
+  rule <k> stdlib_abort ~> _ => writeFD(#stdout, "Aborted\n") ~> flush(#stdout) ~> asCInt(134) </k>
 
   rule <k> stdlib_atexit(FP::VoidFunctionPointer) => success ...</k>
        <atexit> (.K => callExitHandler(FP)) ...</atexit>