Skip to content

Commit

Permalink
# prettified
Browse files Browse the repository at this point in the history
git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@309 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
  • Loading branch information
x97davka committed Jul 1, 1998
1 parent a4f16b8 commit 2aeebd3
Showing 1 changed file with 1 addition and 4 deletions.
5 changes: 1 addition & 4 deletions modeq/mod.rml
Expand Up @@ -319,16 +319,13 @@ end
relation mod_equation : Mod => Eqmod option =

axiom mod_equation NOMOD => NONE

axiom mod_equation REDECL(_,_) => NONE

axiom mod_equation MOD(_,_,e) => e

end

(*!ignorecode*)

(** - Printing *)
(*!ignorecode*)

(** relation: print_mod
**
Expand Down

0 comments on commit 2aeebd3

Please sign in to comment.