Skip to content

GitLab

L
lutin
Commit 1a81cf1b authored by erwan's avatar erwan
Browse files
Options

Merge branch 'master' of gricad-gitlab.univ-grenoble-alpes.fr:verimag/synchrone/lutin

parents b67dede1 380fbbf5
Pipeline #18227 passed with stages
      in 8 minutes and 35 seconds
      Hide whitespace changes
      Inline Side-by-side
      Showing with 2 additions and 2 deletions
      lutin/src/lutParser.mly
      View file @ 1a81cf1b
      ......@@ -61,7 +61,7 @@ let add_extern (id : Syntaxe.ident) (ci : let_info) = (
      let (add_include : Lexeme.t -> unit) =
      fun file ->
      (* remove '"' from string. *)
      (* remove double quote from string. *)
      let f = String.sub file.str 1 ((String.length file.str) - 2) in
      included_files_to_handle := (f)::!included_files_to_handle
      ......@@ -638,7 +638,7 @@ lutTraceExp:
      */
      ;
      lutDoPart : /* ebnf:print=expand */
      lutDoPart: /* ebnf:print=expand */
      /* nada */ %prec NO_DO_PART
      { None }
      | TK_DO lutTraceExp
      ......
      Markdown is supported
      0% or .
      You are about to add 0 people to the discussion. Proceed with caution.
      Finish editing this message first!
      Please register or to comment